359 search results - page 59 / 72 » What to Do About Microsoft |
ICCD
2002
IEEE
15 years 6 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
COORDINATION
2007
Springer
15 years 3 months ago
2007
Springer
In the application layer of networks, many application servers are middleboxes in the paths of messages from source to destination. Applications require, as a basic coordination me...
103
click to vote
TARK
2007
Springer
15 years 3 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
118
click to vote
JIT
2004
Springer
15 years 2 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
96
Voted
EMSOFT
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...