361 search results - page 54 / 73 » Characterization of Semantics for Argument Systems |
133
Voted
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Propositional canonical Gentzen-type systems, introduced in [1], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
106
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
155
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
120
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
114
Voted
WICSA
2008
15 years 4 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...