2127 search results - page 64 / 426 » Software Automation |
139
Voted
CL
2006
Springer
15 years 2 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
102
click to vote
WSC
2008
15 years 5 months ago
2008
There are two key issues in assuring the accuracy of estimates of performance obtained from a simulation model. The first is the removal of any initialisation bias, the second is ...
106
Voted
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
123
click to vote
ENTCS
2008
15 years 2 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
101
Voted
ENVSOFT
2007
15 years 2 months ago
2007
A toolkit for distributed hydrologic modeling at multiple scales using two independent models within a geographic information system is presented. This open-source, freely availab...