686 search results - page 91 / 138 » Simulation Modeling at Multiple Levels of Abstraction |
SIGADA
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
MVA
1990
14 years 11 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
113
click to vote
GCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
We present a tool suite for building, simulating, and analyzing the results of hierarchical descriptions of the scheduling policy for modules sharing a bus in real-time applicatio...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...