623 search results - page 57 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— This paper presents a distributed version of our previous work, called SAFDetection, which is a sensor analysisbased fault detection approach that is used to monitor tightlycou...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
101
click to vote
DBSEC
2010
15 years 1 months ago
2010
The intent of peer data management systems (PDMS) is to share as much data as possible. However, in many applications leveraging sensitive data, users demand adequate mechanisms to...
124
click to vote
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...