860 search results - page 78 / 172 » A Process Algebra Based Verification of a Production System |
WSC
2008
13 years 11 months ago
2008
The requirements on production systems and their planning and control systems are constantly growing. Systems have to be flexible and provide viable solutions at the same time. Di...
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
BPM
2009
Springer
13 years 10 months ago
2009
Springer
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...
INDIASE
2009
ACM
14 years 1 months ago
2009
ACM
Component-Based Development (CBD) has been broadly used in software development, as it enhances reusability and flexibility, and reduces the costs and risks involved in systems dev...
INEX
2004
Springer
14 years 2 months ago
2004
Springer
This paper discusses our participation in INEX using the TIJAH XML-IR system. We have enriched the TIJAH system, which follows a standard layered database architecture, with severa...