Sciweavers

5200 search results - page 734 / 1040
» Symbolic models for control systems
Sort
View
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
CUZA
2002
129views more  CUZA 2002»
15 years 7 months ago
Ad Hoc Metacomputing with Compeer
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
Keith Power, John P. Morrison
202
Voted
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
15 years 2 months ago
The role of social feedback in steady-state performance of human decision making for two-alternative choice tasks
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
Andrew Reed Stewart, Naomi Ehrich Leonard
236
Voted
TABLEAUX
2009
Springer
16 years 2 months ago
A Novel Architecture for Situation Awareness Systems
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
Franz Baader, Andreas Bauer 0002, Peter Baumgartne...
226
Voted
SIGMETRICS
2000
ACM
177views Hardware» more  SIGMETRICS 2000»
15 years 11 months ago
A case for end system multicast
— The conventional wisdom has been that IP is the natural protocol layer for implementing multicast related functionality. However, more than a decade after its initial proposal,...
Yang-Hua Chu, Sanjay G. Rao, Hui Zhang