12774 search results - page 184 / 2555 » A Framework for Proof Systems |
133
click to vote
MMS
2006
15 years 4 months ago
2006
Most multimedia surveillance and monitoring systems nowadays utilize multiple types of sensors to detect events of interest as and when they occur in the environment. However, due...
140
Voted
AUTOMATICA
2004
15 years 4 months ago
2004
This paper addresses the problem of dynamics analysis in optical networks from a system control perspective. A general framework for
120
Voted
ECIS
2003
15 years 6 months ago
2003
Increasingly, organizations have been investing heavily in information systems for greater dyadic coordination and cooperation with each of their key business partners. In this re...
137
Voted
IADIS
2003
15 years 6 months ago
2003
In this paper a framework for a high-confidence e-healthcare information system which meets five criteria including availability, reliability, security, survivability and restorab...
171
Voted
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...