1548 search results - page 128 / 310 » Semantics and Extensions of WS-Agreement |
151
click to vote
ISEMANTICS
2010
15 years 7 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 ...
109
click to vote
ATAL
2009
Springer
15 years 6 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...
146
click to vote
IEE
2008
15 years 5 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...
187
click to vote
ENTCS
2006
15 years 5 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...
286
click to vote
JDM
2008
15 years 5 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....