1581 search results - page 196 / 317 » Domain semantics of possibility computations |
112
click to vote
WEBI
2005
Springer
15 years 9 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...
134
click to vote
UIST
2003
ACM
15 years 9 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...
129
click to vote
ICCS
2003
Springer
15 years 9 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...
127
click to vote
EUROMICRO
1998
IEEE
15 years 8 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...
131
click to vote
VLDB
1992
ACM
15 years 8 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...