netis system  (475 Angebote unter 30.845.517 Artikeln)

The Role of Programming Languages in Future Data-Centric and Net-Centric Applications.- The Role of Programming Languages in Future Data-Centric and Net-Centric Applications.- Wireless Sensor Netwo...

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented i...

22nd Italian Workshop on Neural Nets, WIRN 2012, May 17-19, Vietri sul Mare, Salerno, Italy

Invited Papers.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- Autonomous Distributed System and Its Realization by Multi Agent Nets.- Petri Nets Without Tokens.- Toward Speci...

Artificial Intelligence and cognitive science are the two fields devoted to the study and development of knowledge-based systems (KBS). Over the past 25years, researchers have proposed several appr...

Online fault diagnosis is crucial to ensure safe operation of complex dynamic systems in spite of faults affecting the system behaviors. Consequences of the occurrence of faults can be severe and r...

Online fault diagnosis is crucial to ensure safe operation of complex dynamic systems in spite of faults affecting the system behaviors. Consequences of the occurrence of faults can be severe and r...

In this book, a new approach for diagnosis and risk evaluation of ar-terial hypertension is introduced. The new approach was implement-ed as a hybrid intelligent system combining modular neural net...

Biomodel Engineering - From Structure to Behavior.- The Attributed Pi-Calculus with Priorities.- A Language for Biochemical Systems: Design and Formal Specification.- Mechanistic Insights into Meta...

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented ...

Information Access and Dissemination I.- Cost Framework for a Heterogeneous Distributed Semi-structured Environment.- Cost-Based Vertical Fragmentation for XML.- Efficiently Crawling Strategy for F...

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.- Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch.- From Lo...

EU Funded Grid Development in Europe.- Pegasus: Mapping Scientific Workflows onto the Grid.- A Low-Cost Rescheduling Policy for Dependent Tasks on Grid Computing Systems.- An Advanced Architecture ...

The Logical Way to Be Artificially Intelligent.- The Logical Way to Be Artificially Intelligent.- Foundational Aspects of Agency.- Ability in a Multi-agent Context: A Model in the Situation Calculu...

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June 7 to 9, 1995. This workshop was the s...