3256 search results - page 511 / 652 » Applications of Formal Methods to System Design and Verifica... |
160
click to vote
DRM
2006
Springer
15 years 8 months ago
2006
Springer
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
160
click to vote
NJC
2000
15 years 4 months ago
2000
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
160
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Recent research in sensor networks has raised issues of security for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices...
152
click to vote
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
179
click to vote
BMCBI
2011
15 years 4 days ago
2011
Background: The amount of data on protein-protein interactions (PPIs) available in public databases and in the literature has rapidly expanded in recent years. PPI data can provid...