2377 search results - page 86 / 476 » Hybrid Systems in TLA |
SOSP
1997
ACM
15 years 12 days ago
1997
ACM
This paper presents HAC, a novel technique for managing the client cache in a distributed, persistent object storage system. HAC is a hybrid between page and object caching that c...
101
click to vote
CEC
2007
IEEE
15 years 5 months ago
2007
IEEE
— Static resources allocation problems have been widely studied. More recently some of this attention has changed to focus on dynamic problems, where problem specifications, con...
FMCAD
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
141
click to vote
KRDB
2003
15 years 13 days ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
ECBS
2006
IEEE
15 years 1 months ago
2006
IEEE
Network attacks have become the fundamental threat to today's largely interconnected computer systems. Unauthorized activities and unauthorized access account for a large pro...