2421 search results - page 346 / 485 » Message from the Co-Chairs |
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
— We propose a single source reliable broadcasting algorithm for linear grid-based networks where a message is guaranteed to be delivered to all the nodes of the network. The nod...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
LIMBS is an open source brokerage system developed in the framework of the CALIBRATE project. LIMBS relies on open standards and open contents to promote exchanges of learning res...
ICAS
2006
IEEE
14 years 3 months ago
2006
IEEE
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...
ICDCS
2006
IEEE
14 years 3 months 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...
SP
2006
IEEE
14 years 3 months 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...