Sciweavers

2135 search results - page 67 / 427
» An Operational Semantics for JavaScript
Sort
View
AAAI
2006
13 years 9 months ago
A Platform to Evaluate the Technology for Service Discovery in the Semantic Web
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
Cécile Aberg, Johan Aberg, Patrick Lambrix,...
DEXA
2009
Springer
141views Database» more  DEXA 2009»
14 years 13 days ago
Peer-to-Peer Semantic Wikis
Abstract. Wikis have demonstrated how it is possible to convert a community of strangers into a community of collaborators. Semantic wikis have opened an interesting way to mix web...
Hala Skaf-Molli, Charbel Rahhal, Pascal Molli
FUIN
2008
93views more  FUIN 2008»
13 years 7 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
CONCUR
1994
Springer
13 years 12 months ago
Weak Sequential Composition in Process Algebras
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
Arend Rensink, Heike Wehrheim
IFM
2000
Springer
13 years 11 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira