1141 search results - page 93 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
180
click to vote
WOSP
2005
ACM
15 years 12 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
153
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
318
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
Geographic Information Systems (GIS) are increasingly managing very large sets of data and hence a centralized data repository may not always provide the most scalable solution. H...
173
click to vote
COMPSAC
2008
IEEE
16 years 24 days ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
154
click to vote
ICCSA
2009
Springer
16 years 1 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...