1418 search results - page 139 / 284 » The Dynamic Complexity of Formal Languages |
128
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
135
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...
127
click to vote
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
The publish/subscribe (pub/sub) paradigm provides content-oriented data dissemination in which communication channels are established between content publishers and content subscr...
161
click to vote
ASP
2003
Springer
15 years 9 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
122
click to vote
ENTCS
2000
15 years 4 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...