Sciweavers

2934 search results - page 259 / 587
» Universality in Multi-Agent Systems
Sort
View
ICDCSW
2003
IEEE
15 years 12 months ago
Entry Points into a Smart Campus Environment - Overview of the ETHOC System
The university campus is an interesting application environment for the ubiquitous computing paradigm: a large number of users share a substantial amount of their information need...
Michael Rohs, Jürgen Bohn
ECRTS
1999
IEEE
15 years 11 months ago
Scheduling coprocessor for enhanced least-laxity-first scheduling in hard real-time systems
Scheduling time impact on system performance increases especially when using dynamic priority algorithms, because of the enlarged computational effort at runtime. This overhead ca...
Jens Hildebrandt, Frank Golatowski, Dirk Timmerman...
HPDC
1993
IEEE
15 years 10 months ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting
ATAL
2006
Springer
15 years 10 months ago
The use of agents in human learning systems
This paper examines agent-based systems designed for a variety of human learning tasks. These are typically split into two areas: "training", which generally refers to a...
Elizabeth Sklar, Debbie Richards
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 10 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...