384 search results - page 61 / 77 » The Zeno Argumentation Framework |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
IDC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
CANDC
2009
ACM
14 years 1 months ago
2009
ACM
Video and transcripts of two architectural design meetings are presented in an analysis of a specific design process. The focus of the analysis presented here is the social and c...
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...