29143 search results - page 380 / 5829 » A Sortation System Model |
182
click to vote
FMICS
2007
Springer
16 years 26 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
196
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
157
Voted
ACSAC
2005
IEEE
16 years 10 days ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...
183
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes an implementation of vertex weighting for real-time animation of 3D trees as a result of wind force and direction. This method improves over similar technique...
181
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...