Sciweavers

7452 search results - page 204 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
SIGMOD
2003
ACM
88views Database» more  SIGMOD 2003»
16 years 4 months ago
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues
We consider the problem of mapping data in peer-topeer data-sharing systems. Such systems often rely on the use of mapping tables listing pairs of corresponding values to search f...
Anastasios Kementsietsidis, Marcelo Arenas, Ren&ea...
ER
2008
Springer
117views Database» more  ER 2008»
15 years 6 months ago
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
Stefanie Rinderle-Ma, Manfred Reichert, Barbara We...
AIIA
2005
Springer
15 years 10 months ago
Modal Operators with Adaptable Semantics for Multi-agent Systems
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
Stefano Borgo
EUROMICRO
2004
IEEE
15 years 8 months ago
Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
Steffen Zschaler
SPIESR
2003
129views Database» more  SPIESR 2003»
15 years 5 months ago
Visual interfaces for a semantic content-based image retrieval system
In an earlier study a Semantic Content Based Image Retrieval system was developed. The system requires a Visual Object Process Diagram - VOPD to be created for each image in the d...
Hagit Zabrodsky Hel-Or, Dov Dori