93 search results - page 6 / 19 » Towards Correspondence Carrying Specifications |
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
CSREAEEE
2006
14 years 11 months ago
2006
- To a large extent, governments and organizations worldwide have recognized that either the broader information communication technologies (ICTs) sector or specifically with respe...
CATA
2003
14 years 11 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
CAISE
1999
Springer
15 years 2 months ago
1999
Springer
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
CIA
2008
Springer
14 years 11 months ago
2008
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a means...