458 search results - page 5 / 92 » Designing and executing protocols using the event calculus |
131
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
125
Voted
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
111
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...
109
Voted
AIIDE
2008
15 years 4 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
131
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...