1643 search results - page 144 / 329 » Consistability: Describing Usually Consistent Systems |
SAC
2009
ACM
15 years 4 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...
102
click to vote
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
POLICY
2007
Springer
15 years 4 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
105
click to vote
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Thread escape analysis conservatively determines which objects may be accessed in more than one thread. Thread escape analysis is useful for a variety of purposes – finding rac...
107
click to vote
ISMIR
2005
Springer
15 years 3 months ago
2005
Springer
We describe the MusicMiner system for organizing large collections of music with databionic mining techniques. Low level audio features are extracted from the raw audio data on sh...