942 search results - page 124 / 189 » Interrupt Timed Automata |
103
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
As agents begin to perform complex tasks alongside humans as collaborative teammates, it becomes crucial that the resulting humanmultiagent teams adapt to time-critical domains. I...
126
Voted
DBPL
2007
Springer
15 years 8 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
155
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
111
Voted
IMECS
2007
15 years 4 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
126
Voted
GLOBECOM
2010
IEEE
15 years 15 days ago
2010
IEEE
Multi-string matching is a key technique for implementing network security applications like Network Intrusion Detection Systems (NIDS) and anti-virus scanners. Existing DFA-based ...