4418 search results - page 375 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
211
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
198
click to vote
APIN
1998
15 years 6 months ago
1998
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
208
click to vote
GCC
2003
Springer
16 years 9 hour ago
2003
Springer
Recently, emerging high performance applications require the ability to exploit diverse, geographically distributed resources, specifically, in a Grid environment. A collection of ...
176
click to vote
ICEIS
2006
IEEE
16 years 25 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
161
click to vote
COOPIS
2003
IEEE
16 years 2 days ago
2003
IEEE
The organization of documents is a task that we face as computer users daily. This is particularly true for management of email. Typically email documents are organized in director...