5639 search results - page 713 / 1128 » Timed Abstract Non-interference |
169
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
259
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
178
Voted
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
204
click to vote
ICDCSW
2009
IEEE
16 years 20 days ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...
173
click to vote
ROBOCUP
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...