266 search results - page 38 / 54 » Specification and Verification of Dynamic Communication Syst... |
199
click to vote
TPDS
2008
15 years 6 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
178
Voted
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, enables users to generate complex strong specific systems. Current prominent MANET-based composi...
173
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
152
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...
184
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...