Sciweavers

7340 search results - page 353 / 1468
» The Behavior of Tutoring Systems
Sort
View
FOSSACS
2003
Springer
15 years 12 months ago
Model Checking Lossy Channels Systems Is Probably Decidable
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...
Nathalie Bertrand, Ph. Schnoebelen
ISCAS
1999
IEEE
87views Hardware» more  ISCAS 1999»
15 years 11 months ago
Analysis of subsystem integration in aircraft power distribution systems
Stability analysis of a baseline power system architecture for modern aircraft is addressed. Power electronic converters are widely used in modern aircraft power distribution syst...
S. Chandrasekaran, D. K. Lindner, D. Boroyevich
CASES
2001
ACM
15 years 10 months ago
The performance and energy consumption of three embedded real-time operating systems
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
Kathleen Baynes, Chris Collins, Eric Fiterman, Bri...
ANOR
2005
81views more  ANOR 2005»
15 years 6 months ago
Managing Stochastic, Finite Capacity, Multi-Project Systems through the Cross-Entropy Methodology
This paper addresses the problem of loading a finite capacity, stochastic (random) and dynamic multi-project system. The system is controlled by keeping a constant number of projec...
Izack Cohen, Boaz Golany, Avraham Shtub
EC
2000
93views ECommerce» more  EC 2000»
15 years 6 months ago
Is Echo a Complex Adaptive System?
We evaluate whether John Holland's Echo model exemplifies his theory of complex adaptive systems. After reviewing Holland's theory of complex adaptive systems and descri...
Richard Smith, Mark A. Bedau