860 search results - page 73 / 172 » A Process Algebra Based Verification of a Production System |
JAISE
2010
13 years 3 months ago
2010
The design and development of active RFID tag systems requires several iterations, and thorough testing in order to ensure that the prototype systems behave as intended. Facilitati...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Web has become an excellent source for gathering consumer opinions. There are now numerous Web sites containing such opinions, e.g., customer reviews of products, forums, disc...
SSS
2010
Springer
13 years 7 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
CCO
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
VVEIS
2007
13 years 10 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...