11063 search results - page 214 / 2213 » On the existence of universal models |
161
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
149
click to vote
ICDCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes ...
157
click to vote
MSWIM
2006
ACM
16 years 16 days ago
2006
ACM
In this paper we present an efficient scheme for the multicast transmission of the data in the Universal Mobile Telecommunications System (UMTS). We take advantage of the tree top...
184
click to vote
ISPAN
2005
IEEE
16 years 4 days ago
2005
IEEE
An important requirement for the effective scheduling of parallel applications on large heterogeneous clusters is a current view of system resource availability. Maintaining such ...
134
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In software engineering as well as in any engineering domain, a way of customizing the collaborative work to various modes of collaboration, i.e. synchronous and asynchro...