10615 search results - page 1255 / 2123 » Dynamic topic models |
178
click to vote
WMCSA
2002
IEEE
16 years 18 days ago
2002
IEEE
MOPED (MObile grouPEd Device) is a network model that treats a user’s set of personal devices as a single, virtual device. The nodes of the MOPED dynamically aggregate available...
182
click to vote
LPAR
2001
Springer
16 years 4 days ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
256
Voted
SIGMETRICS
1996
ACM
15 years 12 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
183
Voted
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
183
click to vote
HYBRID
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...