4190 search results - page 662 / 838 » Implementing commitment-based interactions |
122
click to vote
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
121
click to vote
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
We introduce a new channel, which consists of an interference channel (IC) in parallel with an interference relay channel (IRC), to analyze the interaction between two selfish and...
114
click to vote
AICT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes and discusses challenges related to development of peer-to-peer games in J2ME using the available Bluetooth API (JSR82). By using Bluetooth on wireless device...
128
click to vote
APN
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
117
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...