4356 search results - page 368 / 872 » Communicating Transactions - (Extended Abstract) |
195
click to vote
IVS
2008
15 years 6 months ago
2008
is a powerful abstraction used by intelligence analysts to conceptualize threats and understand patterns as part of the analytical process. This paper demonstrates a system that d...
151
click to vote
MCSS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Limited capacity of communication channels has brought to the attention of many researchers the analysis of control systems subject to a quantized input set. In some funda...
162
click to vote
TELSYS
2008
15 years 6 months ago
2008
Abstract Technological evolution is leading telecommunications toward all-IP scenarios, where multiple services are transported as IP packets. Among these services is the broadcast...
159
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
205
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...