4211 search results - page 335 / 843 » A formal approach to MASQ |
180
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
156
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We present a powerful new account of multi-agent knowledge in the situation calculus and an effective reasoning procedure for handling knowledge queries. Our approach generalizes...
177
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
155
click to vote
ESWS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
185
click to vote
FMICS
2007
Springer
16 years 29 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...