Sciweavers

835 search results - page 104 / 167
» A calculus of challenges and responses
Sort
View
FC
2001
Springer
123views Cryptology» more  FC 2001»
14 years 2 months ago
Trust: A Collision of Paradigms
The technological challenges of securing networks are great, as recently witnessed in widespread denial of service and virus attacks. The human reaction to these attacks may be ei...
L. Jean Camp, Helen Nissenbaum, Cathleen McGrath
MDM
2001
Springer
14 years 2 months ago
Quasi-consistency and Caching with Broadcast Disks
The challenges ensuing from the asymmetric communication capabilities of mobile environments have led to an increased interest in broadcast-based data dissemination. Among the conc...
Rashmi Srinivasa, Sang Hyuk Son
RE
2001
Springer
14 years 2 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
SIGOPSE
2000
ACM
14 years 2 months ago
The data management problem in post-pc devices and a solution
The demand for network-enabled limited-footprint mobile devices is increasing rapidly. A central challenge that must be addressed in order to use these next-generation devices eff...
Ramakrishna Gummadi, Randy H. Katz
ERCIMDL
1999
Springer
117views Education» more  ERCIMDL 1999»
14 years 2 months ago
Predicting Indexer Performance in a Distributed Digital Library
Resource discovery in a distributed digital library poses many challenges, one of which is how to choose search engines for query distribution, given a query and a set of search e...
Naomi Dushay, James C. French, Carl Lagoze