500 search results - page 83 / 100 » Thread-Modular Abstraction Refinement |
103
click to vote
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
108
Voted
EDOC
2006
IEEE
15 years 1 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
EPIA
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...
ECCV
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper presents a method for determining the six-degreeof-freedom (DOF) transformation between a camera and a base frame of interest, while concurrently estimating th...
CBSE
2008
Springer
14 years 11 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...