921 search results - page 158 / 185 » On Interleaving in Timed Automata |
TCS
1998
14 years 11 months ago
1998
In this paper we propose a uniform approach to deal with incremental problems on digraphs and with decremental problems on dags generalizing a technique used by La Poutr´e and va...
121
click to vote
SIGMOD
2010
ACM
14 years 10 months ago
2010
ACM
Given a graph database D and a query graph g, an exact subgraph matching query asks for the set S of graphs in D that contain g as a subgraph. This type of queries find important...
ICECCS
2009
IEEE
15 years 6 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...
IWSOS
2009
Springer
15 years 6 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 ...
ICC
2007
IEEE
15 years 6 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...