Sciweavers

1532 search results - page 213 / 307
» Sequence Constraints in Business Modelling and Business Proc...
Sort
View
ICLP
2003
Springer
15 years 11 months ago
Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
Frank D. Valencia
WECWIS
2006
IEEE
164views ECommerce» more  WECWIS 2006»
16 years 11 days ago
Agile Decision Agent for Service-Oriented E-Commerce Systems
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
Jiyong Zhang, Pearl Pu, Boi Faltings
ICEBE
2007
IEEE
151views Business» more  ICEBE 2007»
16 years 21 days ago
Systematic Security Analysis for Service-Oriented Software Architectures
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
Yanguo Liu, Issa Traoré
WSC
2000
15 years 7 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar
ATAL
2008
Springer
15 years 8 months ago
A multi-agent simulation system for prediction and scheduling of aero engine overhaul
The Aero Repair and Overhaul industry is facing an increasing challenge of prediction and scheduling of engine overhauls to remain competitive in a complex business arena. An appr...
Armin Stranjak, Partha Sarathi Dutta, Mark Ebden, ...