288 search results - page 32 / 58 » A Case Study for Aspect Based Updating |
121
click to vote
FAC
2008
14 years 12 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
104
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The domain of numerical simulation is a place where the parallelization of numerical code is common. The definition of a numerical context means the configuration of resources suc...
PE
2000
Springer
14 years 11 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
107
click to vote
FDL
2006
IEEE
15 years 5 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
137
click to vote
DBTEL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The input data for a data warehouse, coming from operational systems, are not immediately ready for loading into data warehouse. Cleaning and integration could be necessa...