29143 search results - page 471 / 5829 » A Sortation System Model |
184
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
157
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
160
click to vote
3DPVT
2006
IEEE
16 years 27 days ago
2006
IEEE
A few 3D interactive modeling systems have been developed recently. Such systems must cope with a high flow of input measurements during the entire acquisition period. Therefore, ...
170
click to vote
EDOC
2006
IEEE
16 years 27 days ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...
170
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...