752 search results - page 65 / 151 » Abstract models for dialogue protocols |
143
Voted
ENTCS
2008
15 years 3 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
153
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
121
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: We developed a free form deformation application for an immersive environment in which users can interact freely using data gloves. To ensure better comfort and performan...
129
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
144
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: In ad-hoc networks, mobile devices communicate via wireless links without the aid of any fixed networking infrastructure. These devices must be able to discover services ...