2632 search results - page 207 / 527 » Alternating Timed Automata |
135
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
135
click to vote
IWSOS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on â€...
136
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Network Intrusion Detection Systems (NIDS) are more and more important in today’s network security for identifying and preventing malicious attacks over the network. This pape...
149
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
154
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...