Sciweavers

632 search results - page 103 / 127
» Research Challenges of Business-Driven IT Management
Sort
View
LICS
2003
IEEE
14 years 2 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
SIGIR
2003
ACM
14 years 2 months ago
Distributed Web Search as a Stochastic Game
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...
Rinat Khoussainov, Nicholas Kushmerick
SIGMOD
2010
ACM
274views Database» more  SIGMOD 2010»
14 years 1 months ago
K-isomorphism: privacy preserving network publication against structural attacks
Serious concerns on privacy protection in social networks have been raised in recent years; however, research in this area is still in its infancy. The problem is challenging due ...
James Cheng, Ada Wai-Chee Fu, Jia Liu
ADAEUROPE
2001
Springer
14 years 1 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
FC
2001
Springer
123views Cryptology» more  FC 2001»
14 years 1 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