Sciweavers

589 search results - page 79 / 118
» A Language for Multi-dimensional Updates
Sort
View
SEKE
2005
Springer
14 years 27 days ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
CONCUR
2004
Springer
14 years 24 days ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
EDBTW
2004
Springer
14 years 24 days ago
XML Query Processing and Optimization
—Over the past few years, XML (eXtensible Mark-up Language) has emerged as the standard for information representation and data exchange over the Internet. This paper provides a ...
Ning Zhang 0002
FASE
2004
Springer
14 years 24 days ago
Reasoning about Card Tears and Transactions in Java Card
The Java dialect Java Card for programming smartcards contains some features which do not exist in Java. Java Card distinguishes persistent and transient data (data stored in EEPRO...
Engelbert Hubbers, Erik Poll
NLDB
2004
Springer
14 years 23 days ago
The Role of User Profiles in Context-Aware Query Processing for the Semantic Web
Many queries processed on the World Wide Web do not return the desired results because they fail to take into account the context of the query and information about user’s situat...
Veda C. Storey, Vijayan Sugumaran, Andrew Burton-J...