1548 search results - page 171 / 310 » Semantics and Extensions of WS-Agreement |
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Lightweight ontologies in the form of RDF vocabularies such as SIOC, FOAF, vCard, etc. are increasingly being used and exported by “serious” applications recently. Such vocabul...
TABLEAUX
2007
Springer
14 years 4 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
DASFAA
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. As mobile devices proliferate and networks become more locationaware, the corresponding growth in spatio-temporal data will demand analysis techniques to mine patterns th...
NETGAMES
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we report on our work to enable “laid-back” social interactions using television as a primary interaction medium and mobile devices that participate as a seconda...