Sciweavers

1312 search results - page 174 / 263
» A Software Process Scheduling Simulator
Sort
View
109
Voted
SEFM
2005
IEEE
15 years 8 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
125
Voted
WSC
2004
15 years 4 months ago
Practical 3D Animation of Multiply Articulated Construction Equipment
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
Vineet R. Kamat, Julio C. Martínez
145
Voted
APSEC
2001
IEEE
15 years 6 months ago
Orchestrating Computations on the World-Wide Web
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
Jayadev Misra, Harrick M. Vin
113
Voted
WSC
2004
15 years 4 months ago
Modeling Real-World Control Systems: Beyond Hybrid Systems
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
Stephen Neuendorffer
191
Voted
FASE
2004
Springer
15 years 6 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer