Sciweavers

477 search results - page 36 / 96
» Concurrent Pattern Calculus
Sort
View
ICEBE
2009
IEEE
118views Business» more  ICEBE 2009»
13 years 5 months ago
Temporal Exception Prediction for Loops in Resource Constrained Concurrent Workflows
Workflow management systems (WfMS) are widely used for improving business processes and providing better quality of services. However, rapid changes in business environment can ca...
Iok-Fai Leong, Yain-Whar Si
ADBIS
2003
Springer
108views Database» more  ADBIS 2003»
14 years 29 days ago
Evaluation of Common Counting Method for Concurrent Data Mining Queries
Data mining queries are often submitted concurrently to the data mining system. The data mining system should take advantage of overlapping of the mined datasets. In this paper we ...
Marek Wojciechowski, Maciej Zakrzewicz
ACSD
2009
IEEE
149views Hardware» more  ACSD 2009»
14 years 2 months ago
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
ICSE
2003
IEEE-ACM
14 years 7 months ago
Patterns Approach to Building Software Systems
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...
Satish Chandra, Satyendra Bhattaram
APLAS
2007
ACM
13 years 11 months ago
Translation Correctness for First-Order Object-Oriented Pattern Matching
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
Burak Emir, Qin Ma 0002, Martin Odersky