1856 search results - page 228 / 372 » Formal Dialectic Specification |
140
Voted
BNCOD
2008
15 years 6 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
166
Voted
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
145
click to vote
DGO
2007
15 years 6 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
129
click to vote
LREC
2008
15 years 6 months ago
2008
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...
171
Voted
CLIMA
2006
15 years 6 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...