Sciweavers

2702 search results - page 302 / 541
» Message from the Editor
Sort
View
ICAS
2006
IEEE
145views Robotics» more  ICAS 2006»
15 years 10 months ago
A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Grids
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
ICDCS
2006
IEEE
15 years 10 months ago
Computing in the Presence of Timing Failures
Timing failures refer to a situation where the environment in which a system operates does not behave as expected regarding the timing assumptions, that is, the timing constraints...
Gadi Taubenfeld
SP
2006
IEEE
147views Security Privacy» more  SP 2006»
15 years 10 months ago
A Computationally Sound Mechanized Prover for Security Protocols
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
Bruno Blanchet
HICSS
2005
IEEE
93views Biometrics» more  HICSS 2005»
15 years 10 months ago
Service Composition on Top of Exchangable Protocols
Whenever message-oriented middleware is used within applications which run on heterogeneous software systems of multiple partners, and middleware protocols have to be replaced or ...
Stefan Böttcher, Christian Dannewitz
HICSS
2005
IEEE
101views Biometrics» more  HICSS 2005»
15 years 10 months ago
Accessing Tacit Knowledge in the Pediatric Pain E-Mail Archives
The Pediatric Pain Mailing List (PPML) is an international Internet-based forum for informal discussion of any topic related to pain in children. There are now over seven hundred ...
Qiufen Qi, Qigang Gao, Michael A. Shepherd, G. All...