1548 search results - page 128 / 310 » Semantics and Extensions of WS-Agreement |
ISEMANTICS
2010
13 years 11 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
In this paper we present the results of our user study about status message sharing on the Social Web. The study revealed the privacy and information noise (sometimes originating f...
IEE
2008
13 years 10 months ago
2008
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
ENTCS
2006
13 years 10 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
JDM
2008
13 years 9 months ago
2008
The extensible markup language (XML) has become a standard for persistent storage and data interchange via the Internet due to its openness, self-descriptiveness, and flexibility....