3273 search results - page 271 / 655 » types 2007 |
174
click to vote
ATVA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
168
click to vote
KSEM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
151
click to vote
FUIN
2007
15 years 6 months ago
2007
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...
164
click to vote
CCS
2007
ACM
16 years 27 days ago
2007
ACM
We show that there is a direct relation between the maximum length of the keys extracted from biometric data and the error rates of the biometric system. The length of the bio-key...