4340 search results - page 318 / 868 » Formal Methods and Cryptography |
212
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
174
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...
183
click to vote
EGICE
2006
15 years 10 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...
152
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
192
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...