3256 search results - page 267 / 652 » Applications of Formal Methods to System Design and Verifica... |
176
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
124
click to vote
COMPSAC
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose a deductive method for constructing reliable reachability controllers, with application to fault-tolerant discrete systems. Designing the controller reduces to finding...
195
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
179
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
137
click to vote
HCI
2007
15 years 8 months ago
2007
In this paper, we developed a fingertip finding algorithm working with a regular diffuser. The proposed algorithm works on images captured by infra-red cameras, settled on one side...