1299 search results - page 209 / 260 » On the Correctness of Operating System Kernels |
138
click to vote
NETWORKING
2010
15 years 7 months ago
2010
Abstract--Malicious and misconfigured nodes can inject incorrect state into a distributed system, which can then be propagated system-wide as a result of normal network operation. ...
151
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
138
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
149
click to vote
CII
2006
15 years 5 months ago
2006
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
177
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...