2496 search results - page 232 / 500 » Error-detecting properties of languages |
180
click to vote
DISCEX
2003
IEEE
16 years 17 days ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
242
click to vote
TIME
2003
IEEE
16 years 16 days ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
188
click to vote
ADAEUROPE
2003
Springer
16 years 15 days ago
2003
Springer
Traditional programming languages assume that real-world systems have “intuitive”, mind-independent, preexisting concept hierarchies. However, our perception of the world depen...
166
click to vote
ATAL
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
173
click to vote
ICALP
2010
Springer
16 years 2 days ago
2010
Springer
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...