857 search results - page 34 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
EUC
2005
Springer
14 years 2 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
KR
2010
Springer
14 years 1 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
CLEAR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper deals with the CLEAR 2007 evaluation on the detection of acoustic events which happen during seminars or meetings The implemented system consists in a front-en...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...