1643 search results - page 85 / 329 » Consistability: Describing Usually Consistent Systems |
DSRT
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes the security and network architecture of the Annex system, a family of technologies for secure and pervasive communication and information processing that we ...
ESEC
1997
Springer
15 years 2 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
WACV
2005
IEEE
15 years 3 months ago
2005
IEEE
Position tracking of rodents is useful and necessary to help elucidate the behavioral and physiological effects of genetic mutations, drug action, and environmental stimuli. In th...