| |
Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of...
Editeur :
Springer
Parution :
2007-07-07
PDF
|
The Second International Conference on Fuzzy Information and Engineering (ICFIE2007) is a major symposium for scientists, engineers and practitioners in China as well as the world to present their latest results, ideas, developments and applications in all areas of...
Editeur :
Springer
Parution :
2007-07-07
PDF
|
The Asia Simulation Conference 2006 (JSST 2006) was aimed at exploring challenges in methodologies for modeling, control and computation in simu lation, and their applications in social, economic, and financial fields as well as established scientific and engineering...
Editeur :
Springer
Parution :
2007-07-05
PDF
|
This volume contains selected papers, presented at the international c- ference on Intelligent Information Processing and Web Mining Conference nd IIS:IIPWM’06, organized in Ustro? (Poland) on June 19-22 , 2006. The event was organized by the Institute of Computer...
Editeur :
Springer
Parution :
2007-07-04
PDF
|
Genetic Programming Theory and Practice IV was developed from the fourth workshop at the University of Michigan’s Center for the Study of Complex Systems to facilitate the exchange of ideas and information related to the rapidly advancing field ofGenetic Programming...
Editeur :
Springer
Parution :
2007-07-03
PDF
|
One of the great challenges in flexible production and supply chains is the availability of necessary information at any time and any place. As a result of increasing dynamical and structural complexity of structures and processes in production it is often impossible to...
Editeur :
Springer
Parution :
2007-06-30
PDF
|
Information and knowledge have profoundly transformed businesses, organizations and society. Knowledge management promises concepts and instruments that help organizations to provide an environment supportive of knowledge creation, sharing and application.Information...
Editeur :
Springer
Parution :
2007-06-30
PDF
|
The past decades have seen significant improvements in 3D imaging where the related techniques and technologies have advanced to a mature state. These exciting developments have sparked increasing interest in industry and academia in the challenges and opportunities...
Editeur :
Springer
Parution :
2007-06-30
PDF
|
The purpose of this book is to provide a practical approach for IT professionals to acquire the necessary knowledge and expertise in data modeling to function effectively. It begins with an overview of basic data modeling concepts, introduces the methods and techniques,...
Editeur :
Wiley-Interscience
Parution :
2007-06-30
PDF
|
Richard Harrison’s existing books are the bestsellers in the Symbian Press Portfolio. His latest book, co-written with Mark Shackman is the successor to "Symbian OS C++ for Mobile Phones" Volumes One and Two. Written in the same style as the two previous volumes, this...
Editeur :
Wiley
Parution :
2007-06-29
Collection :
Symbian Press
PDF
|
This monograph studies the design of robust, monotonically-convergent it- ative learning controllers for discrete-time systems. Iterative learning control (ILC) is well-recognized as an e?cient method that o?ers signi?cant p- formance improvement for systems that...
Editeur :
Springer
Parution :
2007-06-28
PDF
|
Matrix-valued data sets – so-called second order tensor fields – have gained significant importance in scientific visualization and image processing due to recent developments such as diffusion tensor imaging. This book is the first edited volume that presents the state...
Editeur :
Springer
Parution :
2007-06-25
PDF
|
As Ambient Intelligence (AmI) ecosystems are rapidly becoming a reality, they raise new research challenges. Unlike predefined static architectures as we know them today, AmI ecosystems are bound to contain a large number of heterogeneous computing, communication...
Editeur :
Springer
Parution :
2007-06-25
PDF
|
Highperformancecomputinghaschangedthewayinwhichscienceprogresses. During the last 20 years the increase in computing power, the development of e?ective algorithms, and the application of these tools in the area of physics and engineering has been decisive in the...
Editeur :
Springer
Parution :
2007-06-24
PDF
|
This book deals with algorithmic problems concerning binary quadratic forms 2 2 f(X,Y)= aX +bXY +cY with integer coe?cients a, b, c, the mathem- ical theories that permit the solution of these problems, and applications to cryptography. A considerable part of the theory...
Editeur :
Springer
Parution :
2007-06-22
PDF
|
Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider today’s design ?ow: much of it is more or less automated, from RTL to netlist to layout to silicon. But all this automation depends upon having correct RTL input to start with,...
Editeur :
Springer
Parution :
2007-06-19
Collection :
Integrated Circuits and Systems
PDF
|
Ontologies tend to be found everywhere. They are viewed as the silver bullet for many applications, such as database integration, peer-to-peer systems, e-commerce, semantic web services, or social networks. However, in open or evolving systems, such as the semantic web,...
Editeur :
Springer
Parution :
2007-06-15
PDF
|
The topic of this book – the creation of software programs displaying broad, deep, human-style general intelligence – is a grand and ambitious one. And yet it is far from a frivolous one: what the papers in this publication illustrate is that it is a fit and proper...
Editeur :
SAGE Publications Ltd
Parution :
2007-06-15
PDF
|
Formal specification languages, object-oriented methods, CASE tools, component-based software production, agent-oriented, aspect-oriented ... During the last two decades many techniques have been proposed from both research and industry in order to generate a correct...
Editeur :
Springer
Parution :
2007-06-14
PDF
|
Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general knowledge of the system in the so-called conceptual schema.
Krogstie, Opdahl and Brinkkemper compiled 20 contributions from renowned researchers...
Editeur :
Springer
Parution :
2007-06-13
PDF
|