3926 search results - page 709 / 786 » Deriving Information Requirements from Responsibility Models |
141
click to vote
JOC
2008
15 years 4 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
136
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
200
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—We propose a routing metric for enabling highthroughput reliable multicast in multi-rate wireless mesh networks. This new multicast routing metric, called expected multi...
151
click to vote
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
16 years 5 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
123
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
— Web usage mining exploits data mining techniques to discover valuable information from navigation behavior of World Wide Web (WWW) users. The required information is captured b...