718 search results - page 76 / 144 » Toward Models for Forensic Analysis |
RE
2006
Springer
14 years 9 months ago
2006
Springer
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations ...
109
click to vote
TDSC
2008
14 years 9 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
TKDE
2008
14 years 9 months ago
2008
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision making, reasoning, and analysis. Raw input about unf...
109
click to vote
CORR
2010
Springer
14 years 4 months ago
2010
Springer
Push message delivery, where a client maintains an "always-on" connection with a server in order to be notified of a (asynchronous) message arrival in real-time, is incre...
TCAD
2010
14 years 4 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...