1833 search results - page 156 / 367 » Mechanized Verification with Sharing |
178
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
188
click to vote
ICCSA
2007
Springer
16 years 18 days ago
2007
Springer
A tripartite authenticated key agreement protocol is generally designed to accommodate the need of three specific entities in communicating over an open network with a shared secre...
166
click to vote
ACMICEC
2006
ACM
16 years 13 days ago
2006
ACM
Researchers have not studied e-commerce distrust as much as ecommerce trust. This study examines whether trust and distrust are distinct concepts. If trust and distrust are the sa...
155
click to vote
HICSS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...
165
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...