4190 search results - page 357 / 838 » Implementing commitment-based interactions |
152
click to vote
JUCS
2008
15 years 4 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
144
click to vote
ML
2008
ACM
15 years 4 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
161
click to vote
JWSR
2006
15 years 4 months ago
2006
: The increasing ubiquity of wireless mobile devices is promoting unprecedented levels of electronic collaboration among devices interoperating to achieve a common goal. Issues rel...
222
click to vote
TMC
2008
15 years 4 months ago
2008
Integrating mobile computing and localized user interaction into the Internet requires more than simply overcoming pure routing challenges. Apart from issues such as intermittent c...
144
click to vote
CAD
2002
Springer
15 years 4 months ago
2002
Springer
This paper describes the theory and implementation of a discrete mechanics model for deformable bodies, incorporating behavior such as motion, collision, deformation etc. The mode...