Sciweavers

2050 search results - page 12 / 410
» A formal foundation for process modeling
Sort
View
ECOWS
2006
Springer
15 years 1 months ago
A Value-Based Foundation for Service Modelling
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Ch...
ICDE
2007
IEEE
144views Database» more  ICDE 2007»
15 years 3 months ago
Control Theory: a Foundational Technique for Self Managing Databases
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
Sam Lightstone, Maheswaran Surendra, Yixin Diao, S...
AAAI
2008
14 years 11 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
PODS
2004
ACM
115views Database» more  PODS 2004»
15 years 9 months ago
Foundations of Semantic Web Databases
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
Claudio Gutiérrez, Carlos A. Hurtado, Alber...
SAC
2010
ACM
15 years 2 months ago
An ontology-based semantic foundation for ARIS EPCs
This paper presents an ontological analysis of the EPC (Eventdriven Process Chain) business process modeling notation supported in the ARIS Toolset. This ontological analysis prov...
Paulo Sérgio Santos Jr., João Paulo ...