1397 search results - page 107 / 280 » Manufacturing Modeling using Process Nets with Resources |
114
click to vote
APN
1999
Springer
15 years 8 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
131
click to vote
WSC
1998
15 years 5 months ago
1998
This paper introduces the Visual Simulation Environment (VSE). VSE has been developed under research funding, primarily from the U.S. Navy for over a decade. It enables discrete-e...
143
click to vote
PODC
2010
ACM
15 years 4 months ago
2010
ACM
Mutual exclusion is used to coordinate access to shared resources by concurrent processes. k-Exclusion is a variant of mutual exclusion in which up to k processes can simultaneous...
128
click to vote
IEAAIE
2009
Springer
15 years 11 months ago
2009
Springer
A computational agent model for monitoring and control of a virtual human agent’s resources and exhaustion is presented. It models a physically grounded intelligent decision maki...
136
click to vote
ARC
2010
Springer
15 years 7 months ago
2010
Springer
High-Performance Reconfigurable Computers (HPRCs) are parallel machines consisting of FPGAs and microprocessors, with the FPGAs used as co-processors. The execution of parallel app...