634 search results - page 76 / 127 » Separability in the Ambient Logic |
APLAS
2009
ACM
14 years 4 months ago
2009
ACM
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
IEEESCC
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a comprehensive study on the threats towards the coordination services for Web services business activities and explore the most optimal solution to miti...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...