1581 search results - page 196 / 317 » Domain semantics of possibility computations |
128
click to vote
WEBI
2005
Springer
15 years 10 months 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...
146
click to vote
UIST
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
142
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
XML-based metadata information services are a crucial core service needed by Problem Solving Environments built over emerging service-based, globally-scaled distributed systems, a...
139
Voted
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
141
click to vote
VLDB
1992
ACM
15 years 9 months ago
1992
ACM
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...