5423 search results - page 851 / 1085 » Denial-of-service in automation systems |
181
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
172
click to vote
SAMT
2007
Springer
16 years 23 days ago
2007
Springer
— aceMedia is a 4 year EC part-funded FP6 Integrated Project, ending in December 2007. The project has developed tools to enable users to manage and share both personal and purch...
162
click to vote
SSS
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
159
click to vote
TARK
2007
Springer
16 years 23 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
188
click to vote
AUIC
2006
IEEE
16 years 22 days ago
2006
IEEE
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...