8337 search results - page 1444 / 1668 » Reasoning With Characteristic Models |
147
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
144
click to vote
ADBIS
2009
Springer
15 years 11 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
148
click to vote
ADMI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
154
click to vote
ASIACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The security of cascade blockcipher encryption is an important and well-studied problem in theoretical cryptography with practical implications. It is well-known that dou...
126
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...