1398 search results - page 61 / 280 » Ensuring Properties of Interaction Systems |
138
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
260
click to vote
CASCON
2010
15 years 25 days ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
151
click to vote
IVA
2007
Springer
15 years 10 months ago
2007
Springer
Interactive drama allows people to participate actively in a dynamically unfolding story, by playing a character or by exerting directorial control. One of the central challenges f...
143
click to vote
ISRR
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...
162
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--To take advantage of the broadcast nature of wireless communication, a number of opportunistic routing techniques have recently been proposed. In order to manage the extr...