1906 search results - page 148 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
125
Voted
AAAI
1998
15 years 5 months ago
1998
This paper discusses the design and implementation of ESSPL, an expert system which generates security plans for alarm systems (Figure 1). Security planning is the task of determi...
130
Voted
PPOPP
1991
ACM
15 years 7 months ago
1991
ACM
Idle workstations in a network represent a significant computing potential. In particular, their processing power can be used by parallel-distributed programs that treat the netwo...
137
Voted
SPRINGSIM
2007
15 years 4 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
126
Voted
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
125
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...