489 search results - page 40 / 98 » On the Execution of ODP Computational Specifications |
COMPSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
CONCURRENCY
2004
13 years 7 months ago
2004
Distributed simulation applications often rely on middleware to provide services to support their execution over distributed computing environments. Such middleware spans many lev...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
In this paper, we propose a novel storage requirement estimation methodology for use in the early system design phases when the data transfer ordering is only partially fixed. At ...
HICSS
1997
IEEE
13 years 11 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...