Sciweavers

1382 search results - page 125 / 277
» Strider: Configuration Modelling and Analysis of Complex Sys...
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 8 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
INFOCOM
2006
IEEE
15 years 4 months ago
Network Protocol System Fingerprinting - A Formal Approach
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
Guoqiang Shu, David Lee
81
Voted
MIE
2008
141views Healthcare» more  MIE 2008»
14 years 11 months ago
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
Helena Lindgren
105
Voted
PPNA
2011
14 years 5 months ago
Security and privacy issues in P2P streaming systems: A survey
Streaming applications over Peer-To-Peer (P2P) systems have gained an enormous popularity. Success always implies increased concerns about security, protection, privacy and all the...
Gabriela Gheorghe, Renato Lo Cigno, Alberto Montre...
96
Voted
RSA
2000
170views more  RSA 2000»
14 years 10 months ago
Delayed path coupling and generating random permutations
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
Artur Czumaj, Miroslaw Kutylowski