488 search results - page 62 / 98 » On the Formal Generation of Process Redesigns |
109
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
103
Voted
SIGMOD
1991
ACM
15 years 5 months ago
1991
ACM
The view-object model provides a formal basis for representing and manipulating object-based views on relational databases. In this paper, we present a scheme for handling update ...
114
click to vote
AI
2006
Springer
15 years 3 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
116
click to vote
FORTE
2007
15 years 3 months ago
2007
Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...
114
Voted
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, the Quantum-inspired Genetic Algorithms with the population of a single individual are formalized by a Markov chain model using a single and the stored best individ...