274 search results - page 34 / 55 » Programming Coordinated Behavior in Java |
102
click to vote
ICOST
2007
Springer
15 years 8 months ago
2007
Springer
This paper defines a new, context-driven programming model for pervasive spaces. Existing models are prone to conflict, as it is hard to predict the outcome of interleaved actions ...
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
116
click to vote
SIGDIAL
2010
14 years 11 months ago
2010
This paper proposes a simple framework for building 'virtual networking agents'; programs that can communicate with users and collect information through the internet. T...
134
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...