4211 search results - page 774 / 843 » Types as Abstract Interpretations |
150
click to vote
LCN
2007
IEEE
16 years 10 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 ...
165
click to vote
EMMCVPR
2007
Springer
16 years 7 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...
162
click to vote
ICS
2007
Tsinghua U.
16 years 6 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...
162
click to vote
TGC
2007
Springer
16 years 5 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...
147
click to vote
ATAL
2005
Springer
15 years 11 months 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...