Sciweavers

387 search results - page 2 / 78
» Pervasive Enablement of Business Processes
Sort
View
FMCAD
2006
Springer
13 years 9 months ago
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
Tilman Glökler, Jason Baumgartner, Devi Shanm...
ER
2010
Springer
249views Database» more  ER 2010»
13 years 4 months ago
On Enabling Data-Aware Compliance Checking of Business Process Models
In the light of an increasing demand on business process compliance, the verication of process models against compliance rules has become essential in enterprise computing. To be ...
David Knuplesch, Linh Thao Ly, Stefanie Rinderle-M...
HICSS
2006
IEEE
136views Biometrics» more  HICSS 2006»
13 years 11 months ago
RFID as an Enabler of B-to-B e-Commerce and Its Impact on Business Processes: A Pilot Study of a Supply Chain in the Retail Indu
The main objective of this pilot study is to improve our understanding of the potential of RFID in the context of warehousing activities in one specific supply chain in the retail...
Louis A. Lefebvre, Élisabeth Lefebvre, Ygal...
OTM
2005
Springer
13 years 11 months ago
Modeling Multi-party Web-Based Business Collaborations
Abstract. To remain competitive, enterprises have to mesh their business processes with their customers, suppliers and business partners. Increasing collaboration includes not only...
Lai Xu, Sjaak Brinkkemper
CAISE
2009
Springer
14 years 3 days ago
P2S: A Methodology to Enable Inter-organizational Process Design through Web Services
Abstract. With the advent of Service Oriented Architecture organizations have experienced services as a platform-independent technology to develop and use simple internal applicati...
Devis Bianchini, Cinzia Cappiello, Valeria De Anto...