Sciweavers

181 search results - page 27 / 37
» Binary Change Set Composition
Sort
View
SEMWEB
2004
Springer
14 years 25 days ago
Semantic Web Service Interaction Protocols: An Ontological Approach
A central requirement for achieving the vision of run-time discovery and dynamic composition of services is the provision of appropriate descriptions of the operation of a service,...
Ronald Ashri, Grit Denker, Darren Marvin, Mike Sur...
CEEMAS
2003
Springer
14 years 21 days ago
Regional Synchronization for Simultaneous Actions in Situated Multi-agent Systems
Agents of a multi-agent system (MAS) must synchronize whenever they want to perform simultaneous actions. In situated MASs, typically, the control over such synchronization is cent...
Danny Weyns, Tom Holvoet
DEBS
2010
ACM
13 years 11 months ago
Predictive publish/subscribe matching
A new publish/subscribe capability is presented: the ability to predict the likelihood that a subscription will be matched at some point in the future. Composite subscriptions con...
Vinod Muthusamy, Haifeng Liu, Hans-Arno Jacobsen
CAV
2006
Springer
113views Hardware» more  CAV 2006»
13 years 11 months ago
Causal Atomicity
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
Azadeh Farzan, P. Madhusudan
SPLC
2010
13 years 9 months ago
Delta-Oriented Programming of Software Product Lines
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferru...