2421 search results - page 245 / 485 » Message from the Editor-in-Chief |
164
click to vote
ICDCS
2006
IEEE
16 years 21 days ago
2006
IEEE
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...
176
click to vote
SP
2006
IEEE
16 years 20 days ago
2006
IEEE
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...
136
click to vote
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
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 ...
143
Voted
HICSS
2005
IEEE
16 years 8 days ago
2005
IEEE
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 ...
170
click to vote
WETICE
2005
IEEE
16 years 6 days ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...