29143 search results - page 302 / 5829 » A Sortation System Model |
189
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Cell-DEVS is an extension to the DEVS formalism that allows the definition of cellular models. Complex physical systems can be defined using simple rules, reducing the development...
247
click to vote
IEEESP
2011
14 years 10 months ago
2011
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
168
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
204
click to vote
AVBPA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper, the use of biometric systems in forensic applications is reviewed. Main differences between the aim of commercial biometric systems and forensic reporting...
172
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution