Sciweavers

7340 search results - page 358 / 1468
» The Behavior of Tutoring Systems
Sort
View
GI
2009
Springer
15 years 4 months ago
Group Tracking in an Air Surveillance System
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
Wolfgang Konle
JAISE
2010
88views Algorithms» more  JAISE 2010»
15 years 1 months ago
Improving user verification by implementing an agent-based security system
Abstract. This paper presents an agent-based, high-level security system for user verification. The system verifies a user's identity by processing data from several low-lever...
Erik Dovgan, Bostjan Kaluza, Tea Tusar, Matjaz Gam...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Towards safety guarantees for service-oriented systems
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
Basil Becker
COLCOM
2005
IEEE
16 years 9 days ago
Stochasticity of probabilistic systems: analysis methodologies case-study
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
Anwitaman Datta, Martin Hasler, Karl Aberer
193
Voted
RTCSA
2005
IEEE
16 years 8 days ago
Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
Tolga Ayav, Yves Sorel