837 search results - page 67 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
FORMATS
2009
Springer
14 years 26 days ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
AHS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we propose a design methodology for implementing a multimode (or multi-configuration) and multi-throughput system into a single hardware architecture. The inputs of...
TAOSD
2010
13 years 3 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
MABS
1998
Springer
14 years 1 months ago
1998
Springer
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In wireless networks, the use of collaboration has been shown to provide an increase in reliability due to an increase in diversity. Specifically it has been shown that by havi...