1246 search results - page 192 / 250 » Recursive Timed Automata |
126
Voted
AAAI
2011
14 years 2 months ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
116
Voted
ICECCS
2009
IEEE
15 years 9 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...
115
click to vote
IWSOS
2009
Springer
15 years 9 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 â€...
114
Voted
ICC
2007
IEEE
15 years 8 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...
131
Voted
IEEESCC
2005
IEEE
15 years 8 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...