Sciweavers

3119 search results - page 312 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
CDC
2008
IEEE
152views Control Systems» more  CDC 2008»
15 years 11 months ago
Non-uniform small-gain theorems for systems with unstable invariant sets
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
Ivan Tyukin, Erik Steur, Henk Nijmeijer, Cees van ...
135
Voted
DATE
2007
IEEE
95views Hardware» more  DATE 2007»
15 years 11 months ago
A multi-core debug platform for NoC-based systems
Network-on-Chip (NoC) is generally regarded as the most promising solution for the future on-chip communication scheme in gigascale integrated circuits. As traditional debug archi...
Shan Tang, Qiang Xu
AIEDU
2004
151views more  AIEDU 2004»
15 years 4 months ago
Children's Interactions with Animated Agents in an Intelligent Tutoring System
Although animated pedagogical agents are frequently found in intelligent tutoring systems and interactive learning environments, their effect on users' attitudes and learning ...
Judy Robertson, Beth Cross, Hamish Macleod, Peter ...
150
Voted
CTW
2004
81views more  CTW 2004»
15 years 4 months ago
Rating non-technical skills: developing a behavioural marker system for use in anaesthesia
Studies of performance in medicine are often based on observation. Videotape provides a valuable tool for recording events from both real environments and simulators. When analysin...
G. Fletcher, R. Flin, P. McGeorge, R. Glavin, N. M...
SCS
2003
15 years 6 months ago
Safety Assurance Contracts for Integrated Modular Avionics
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
Philippa Conmy, Mark Nicholson, John A. McDermid