4211 search results - page 774 / 843 » Types as Abstract Interpretations |
161
click to vote
LCN
2007
IEEE
16 years 29 days ago
2007
IEEE
— GRSB - Guaranteed, Reliable, Secure Broadcast - is a protocol that provides reliable and secure broadcast / multicast communications [1,2]. It can be implemented in many types ...
188
Voted
EMMCVPR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
177
click to vote
ICS
2007
Tsinghua U.
16 years 26 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
185
Voted
TGC
2007
Springer
16 years 24 days ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
162
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...