28445 search results - page 5505 / 5689 » Anatomically based modeling |
201
click to vote
SP
2007
IEEE
16 years 23 days ago
2007
IEEE
Law enforcement agencies need the ability to conduct electronic surveillance to combat crime, terrorism, or other malicious activities exploiting the Internet. However, the prolif...
191
click to vote
TPHOL
2007
IEEE
16 years 23 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
171
click to vote
ASIACRYPT
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Whereas encryption schemes withstanding passive chosenplaintext attacks (CPA) can be constructed based on a variety of computational assumptions, only a few assumptions a...
184
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
200
click to vote
ATC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Jgroup/ARM is a middleware for developing and operating dependable distributed Java applications. Jgroup integrates the distributed object model of Java RMI with the obje...