860 search results - page 71 / 172 » A Process Algebra Based Verification of a Production System |
GROUP
1995
ACM
14 years 18 days ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
ISCIS
2003
Springer
14 years 2 months ago
2003
Springer
Electronic commerce technology offers the opportunity to integrate and optimize the global production and distribution on supply chain. Computers of various corporations, located t...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
PR
2006
13 years 9 months ago
2006
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Establishing a radio link in cell-based mobile communication systems involves searching and synchronizing the downlink known pattern of sequences associated with the bas...