22 search results - page 1 / 5 » PSL-based online monitoring of digital systems |
FDL
2005
IEEE
13 years 11 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
ESORICS
2009
Springer
14 years 5 months ago
2009
Springer
Digital identity credentials are a key enabler for important online services, but widespread theft and misuse of such credentials poses serious risks for users. We believe that an ...
KDD
2005
ACM
13 years 10 months ago
2005
ACM
The increasing complexity of today’s systems makes fast and accurate failure detection essential for their use in mission-critical applications. Various monitoring methods provi...
ICSE
2009
IEEE-ACM
14 years 1 days ago
2009
IEEE-ACM
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
IHI
2012
12 years 25 days ago
2012
Electronic Health Record (EHR) and Personal Health Record (PHR) systems could allow patients to better manage their health information and share it to enhance the quality and effi...