Sciweavers

7452 search results - page 327 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
ICECCS
2010
IEEE
153views Hardware» more  ICECCS 2010»
15 years 7 months ago
Patterns for Modelling Time and Consistency in Business Information Systems
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
Jeremy W. Bryans, John S. Fitzgerald, Alexander Ro...
LPNMR
1999
Springer
15 years 11 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner
PDPTA
2000
15 years 8 months ago
MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler
MetaVM is a distributed object system for Java virtual machine. It allows programmers to deal with remote objects in the same way they do local objects. Therefore, it can provide a...
Kazuyuki Shudo, Yoichi Muraoka
JUCS
2002
112views more  JUCS 2002»
15 years 6 months ago
Shark - a System for Management, Synchronization and Exchange of Knowledge in Mobile User Groups
: New wireless protocols like W-LAN and Bluetooth allow establishing spontaneous networks and peer-to-peer exchange of information. At the same time standards like Semantic Web and...
Thomas Schwotzer, Kurt Geihs
WEBI
2007
Springer
16 years 25 days ago
Document-Centric Query Answering for the Semantic Web
In this paper, we propose document-centric query answering, a novel form of query answering for the Semantic Web. We discuss how we have built a knowledge base system to support t...
Yuanbo Guo, Jeff Heflin