4286 search results - page 67 / 858 » Formalizing Service Interactions |
157
click to vote
FIW
1998
15 years 3 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
122
click to vote
ENTCS
2010
14 years 12 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
125
click to vote
MHCI
2007
Springer
15 years 8 months ago
2007
Springer
The proposed demonstration is based on the work performed in the PERCI project and presents a generic framework to access and interact with Web Services through mobile interaction...
128
Voted
INTERACT
2003
15 years 3 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
129
Voted
SKG
2006
IEEE
15 years 8 months ago
2006
IEEE
Sensor network is a novel technology about acquiring and processing information. This paper introduces the basic interaction patterns between requesters and providers of services ...