Sciweavers

2624 search results - page 221 / 525
» The 2LIP model and its implementations
Sort
View
COORDINATION
2000
Springer
15 years 10 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
GECON
2009
Springer
96views Business» more  GECON 2009»
15 years 10 months ago
A QoS-Based Selection Mechanism Exploiting Business Relationships in Workflows
This paper deals with the problem of selecting service instances to execute workflow processes by not only taking into consideration Quality of Service (QoS) constraints, posed by ...
Dimosthenis Kyriazis, Konstantinos Tserpes, Ioanni...
AAAI
2008
15 years 9 months ago
A Reductive Semantics for Counting and Choice in Answer Set Programming
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Joohyung Lee, Vladimir Lifschitz, Ravi Palla
AIIDE
2008
15 years 9 months ago
TAP: An Effective Personality Representation for Inter-Agent Adaptation in Games
Tactical Agent Personality (TAP) is a modeling concept to capture tactical patterns in game agents, based on a personality concept introduced by Tan and Cheng (2007), to allow beh...
Chek Tien Tan, Ho-Lun Cheng
COMSWARE
2008
IEEE
15 years 8 months ago
Collaborative group membership and access control for JXTA
Abstract-- This paper presents a proposal for group membership and access control services for JXTA, both based on the principle of self-organization and collaboration of peer grou...
Joan Arnedo-Moreno, Jordi Herrera-Joancomart&iacut...