Sciweavers

1297 search results - page 67 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
BPM
2006
Springer
153views Business» more  BPM 2006»
15 years 5 months ago
Shop Floor Information Management and SOA
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
Konrad Pfadenhauer, Burkhard Kittl, Schahram Dustd...
ADC
2006
Springer
135views Database» more  ADC 2006»
15 years 7 months ago
Using a temporal constraint network for business process execution
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, the technology continues to face challenges i...
Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan...
RIDE
1999
IEEE
15 years 5 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
LPNMR
2005
Springer
15 years 7 months ago
Nonmonotonic Reasoning in FLORA-2
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
Michael Kifer
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 6 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...