819 search results - page 133 / 164 » A Process-Oriented Architecture for Complex System Modelling |
ICEB
2004
14 years 11 months ago
2004
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
ASWEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
ASYNC
2007
IEEE
15 years 1 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
APBC
2003
14 years 11 months ago
2003
Nowadays, biologists use a number of large biological databanks to find relevant information for their research. Users of these databanks face a number of problems. One problem i...