13618 search results - page 274 / 2724 » The Newton Operating System |
164
click to vote
CEEMAS
2003
Springer
15 years 12 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
186
click to vote
ROCAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Many safety related and critical systems warn of potentially dangerous events; for example the Short Term Conflict Alert (STCA) system warns of airspace infractions betw...
111
Voted
USENIX
2000
15 years 8 months ago
2000
173
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
For event filtering of publish/subscribe system, significant research efforts have been dedicated to techniques based on multiple one-dimensional indexes built on attributes of sub...