2607 search results - page 352 / 522 » On the Architecture of System Verification Environments |
160
click to vote
PPAM
2007
Springer
16 years 21 days ago
2007
Springer
Combining simulations of different scale in one application is non-trivial issue. This paper proposes solution that supports complex time interactions that can appear between elem...
138
click to vote
ECBS
2005
IEEE
16 years 5 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
184
click to vote
SRDS
2005
IEEE
16 years 4 days ago
2005
IEEE
Current cluster architectures provide the ideal environment to run federations of main-memory database systems (FMMDBs). In FMMDBs, data resides in the main memory of the federati...
170
click to vote
AUSAI
2004
Springer
15 years 12 months ago
2004
Springer
The Belief-Desire-Intention (BDI) model of agency is an architecture based on Bratman’s theory of practical reasoning. Hierarchical Task Network (HTN) decomposition on the other ...
186
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...