701 search results - page 60 / 141 » Comments on |
109
click to vote
MKWI
2008
15 years 5 months ago
2008
: Multi-Agent systems follow a highly abstract programming paradigm. of this abstraction level, behaviours of the participants are not always clearly reproducible for humans. In th...
120
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
With the new interest in historical documents insight grew that electronic access to these texts causes many specific problems. In the first part of the paper we survey the presen...
129
click to vote
EV
2006
15 years 5 months ago
2006
This paper draws attention to the need of a systematic approach to introducing electronic voting systems and presents empirical results from a pilot project by the Provincia Autono...
112
click to vote
DLOG
2003
15 years 5 months ago
2003
The purpose of this appendix is to introduce (in a compact manner) the syntax and semantics of the most prominent DLs occurring in this handbook. More information and explanations...
165
click to vote
I3E
2001
15 years 5 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...