Sciweavers

1395 search results - page 2 / 279
» Incremental Construction Approach for Distributed System Spe...
Sort
View
DAC
2001
ACM
14 years 6 months ago
An Approach to Incremental Design of Distributed Embedded Systems
Paul Pop, Petru Eles, Traian Pop, Zebo Peng
JMLR
2008
127views more  JMLR 2008»
13 years 5 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
DAGSTUHL
2006
13 years 6 months ago
An Operator-based Approach to Incremental Development of Conform Protocol State Machines
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...
Arnaud Lanoix, Dieu Donné Okalas Ossami, Je...
ECAI
2008
Springer
13 years 7 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
CAEPIA
2003
Springer
13 years 10 months ago
A Document-Oriented Approach to the Development of Knowledge Based Systems
ADDS (Approach to Document-based Development of Software) is an approach to the development of applications based on a document-oriented paradigm. According to this paradigm, appli...
José Luis Sierra, Baltasar Fernández...