2136 search results - page 136 / 428 » A Game-Theoretic Operational Semantics |
227
click to vote
MOBIDE
2003
ACM
16 years 3 days ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
162
Voted
ICSOC
2003
Springer
16 years 2 days ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
189
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
193
click to vote
DLT
2006
15 years 8 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
209
click to vote
IS
2006
15 years 6 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...