2127 search results - page 64 / 426 » Software Automation |
122
click to vote
CL
2006
Springer
15 years 19 days 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...
84
Voted
WSC
2008
15 years 2 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 ...
89
Voted
IUI
2004
ACM
15 years 6 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 ...
108
Voted
ENTCS
2008
15 years 20 days 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...
ENVSOFT
2007
15 years 16 days 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...