5671 search results - page 844 / 1135 » A Semantic Approach to Interpolation |
169
click to vote
LPAR
2005
Springer
16 years 7 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...
185
click to vote
SOCO
2005
Springer
16 years 7 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...
147
click to vote
WEBI
2005
Springer
16 years 7 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...
160
click to vote
WEBI
2005
Springer
16 years 7 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...
181
click to vote
APLAS
2004
ACM
16 years 6 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...