Sciweavers

1802 search results - page 41 / 361
» Using Declarative Specifications in Business Process Design
Sort
View
OTM
2005
Springer
15 years 4 months ago
Colored Petri Nets to Verify Extended Event-Driven Process Chains
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova
82
Voted
CLUSTER
2000
IEEE
15 years 3 months ago
From Metacomputing to Metabusiness Processing
The importance of large-scale electrical business processing is increasing today as recent Internet technologies build on the basic infrastructure. Simply integrating existing tec...
Li-jie Jin, Andrew S. Grimshaw
JITECH
2010
160views more  JITECH 2010»
14 years 6 months ago
Social software for business process modeling
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
Agnes Koschmider, Minseok Song, Hajo A. Reijers
DOCENG
2009
ACM
14 years 9 months ago
Relating declarative hypermedia objects and imperative objects through the NCL glue language
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
Luiz Fernando Gomes Soares, Marcelo Ferreira Moren...
SIGMOD
2008
ACM
198views Database» more  SIGMOD 2008»
15 years 11 months ago
Efficient storage scheme and query processing for supply chain management using RFID
As the size of an RFID tag becomes smaller and the price of the tag gets lower, RFID technology has been applied to a wide range of areas. Recently, RFID has been adopted in the b...
Chun-Hee Lee, Chin-Wan Chung