4385 search results - page 314 / 877 » Abstraction for Concurrent Objects |
164
click to vote
CONEXT
2006
ACM
16 years 20 days ago
2006
ACM
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
126
click to vote
CCGRID
2005
IEEE
16 years 9 days ago
2005
IEEE
We present an architectural framework for specifying and processing co-reservations in Grid environments. Compared to other approaches, our co-reservation framework is more genera...
166
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
176
Voted
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
187
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...