2585 search results - page 478 / 517 » Automating Coherent Logic |
102
Voted
WETICE
2006
IEEE
15 years 6 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
139
Voted
DOLAP
2006
ACM
15 years 6 months ago
2006
ACM
One of the most important tasks performed in the early stages of a data warehouse project is the analysis of the structure and content of the existing data sources and their inten...
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
91
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
83
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...