5671 search results - page 844 / 1135 » A Semantic Approach to Interpolation |
190
click to vote
LPAR
2005
Springer
16 years 28 days ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
213
click to vote
SOCO
2005
Springer
16 years 28 days ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...
161
Voted
WEBI
2005
Springer
16 years 28 days ago
2005
Springer
This paper describes an approach for a composition of web services based on their semantic descriptions. The process section of OWL-S service descriptions is built with references...
179
Voted
WEBI
2005
Springer
16 years 28 days ago
2005
Springer
In open environments like the Web, and open Multiagent and Peer2Peer systems, consent among the autonomous, self-interested knowledge sources and users very often cannot be establ...
197
click to vote
APLAS
2004
ACM
16 years 26 days ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...