4305 search results - page 303 / 861 » Analysing Protocol Implementations |
159
click to vote
WDAG
2005
Springer
16 years 4 days ago
2005
Springer
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
184
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
This paper presents specialized code generation techniques and runtime optimizations for developing light-weight XML Web services for embedded devices. The optimizations are imple...
161
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
150
click to vote
SPW
2004
Springer
16 years 2 hour ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
169
click to vote
ECRTS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...