431 search results - page 63 / 87 » Using Formal Methods to Reason about Architectural Standards |
CIE
2005
Springer
15 years 5 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
116
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
166
click to vote
GIS
2007
ACM
16 years 25 days ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
120
click to vote
TACS
2001
Springer
15 years 4 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
140
click to vote
DOLAP
2005
ACM
15 years 1 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...