646 search results - page 92 / 130 » A Spatially Dependent Communication Model for Ubiquitous Sys... |
EDOC
2002
IEEE
14 years 1 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
HOTNETS
2010
13 years 3 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...
HYBRID
1998
Springer
14 years 10 days ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
SIMPRA
2008
13 years 8 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
ADHOC
2010
13 years 8 months ago
2010
Intelligent Transportation Systems (ITS) are a hot topic in the communications society. Currently, research is primarily focusing on setting up Vehicular Ad Hoc Networks (VANETs) ...