188 search results - page 32 / 38 » Back to the Complexity of Universal Programs |
120
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
123
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Complex networks have been characterised by their specific connectivity patterns (network motifs), but their building blocks can also be identified and described by node-motifs—...
118
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
130
click to vote
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
148
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
All previous work on “candidate-control” manipulation of elections has been in the model of full-information, simultaneous voting. This is a problem, since in quite a few real...