Sciweavers

1581 search results - page 196 / 317
» Domain semantics of possibility computations
Sort
View
WEBI
2005
Springer
15 years 9 months ago
Multi-Source Knowledge Bases and Ontologies with Multiple Individual and Social Viewpoints
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...
Matthias Nickles, Ruth Cobos, Gerhard Weiß, ...
UIST
2003
ACM
15 years 9 months ago
A molecular architecture for creating advanced GUIs
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...
Eric Lecolinet
ICCS
2003
Springer
15 years 9 months ago
Automating Metadata Web Service Deployment for Problem Solving Environments
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...
Ozgur Balsoy, Ying Jin, Galip Aydin, Marlon E. Pie...
EUROMICRO
1998
IEEE
15 years 8 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
VLDB
1992
ACM
98views Database» more  VLDB 1992»
15 years 8 months ago
Updates in a Rule-Based Language for Objects
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...
Michael Kramer, Georg Lausen, Gunter Saake