11022 search results - page 426 / 2205 » Programming Systems for Autonomy |
203
click to vote
SP
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
188
click to vote
SAC
1998
ACM
15 years 11 months ago
1998
ACM
This paper shows how a recently introduced class of applications can be solved by constraint programming. This new type of application is due to the emergence of special real-time...
178
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
225
click to vote
ENTCS
2008
15 years 7 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
194
click to vote
JSW
2008
15 years 7 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...