4209 search results - page 315 / 842 » Abstract Dialectical Frameworks |
177
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
154
click to vote
ICANNGA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present an approach for automated generation of proactive aggregation protocols using Genetic Programming. First a short introduction into aggregation and proactive pr...
147
click to vote
ICDT
2007
ACM
16 years 24 days ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
191
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
191
click to vote
COMSWARE
2006
IEEE
16 years 21 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...