Sciweavers

1363 search results - page 82 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
SAC
2006
ACM
14 years 9 months ago
A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
Kai Chen, Fan Jiang, Chuan-dong Huang
CSCW
1992
ACM
15 years 1 months ago
Ethnographically-Informed Systems Design for Air Traffic Control
This paper relates experiences of a project where an ethnographic study of air traffic controllers is being used to inform the design of the controllers' interface to the fli...
Richard Bentley, John A. Hughes, David Randall, To...
WSC
2008
15 years 4 days ago
Clarifying CONWIP versus push system behavior using simulation
This research examines the performance of CONWIP versus "push" workload control in a simple, balanced manufacturing flowline. Analytical models and simulation experiment...
S. T. Enns, Paul Rogers
TOOLS
2000
IEEE
15 years 2 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober
CORR
2007
Springer
97views Education» more  CORR 2007»
14 years 9 months ago
IRVO: an Interaction Model for designing Collaborative Mixed Reality systems
This paper presents an interaction model adapted to mixed reality environments known as IRVO (Interacting with Real and Virtual Objects). IRVO aims at modeling the interaction bet...
René Chalon, Bertrand T. David