2133 search results - page 353 / 427 » Implementation of a SystemC based Environment |
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
ICDCS
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
CAV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
IEEESCC
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...