1054 search results - page 90 / 211 » Model Transformations in the Model-Based Development of Real... |
SOSYM
2010
13 years 7 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
FMCO
2009
Springer
13 years 6 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
SCALESPACE
2001
Springer
14 years 1 months ago
2001
Springer
This paper develops and investigates a new approach for evaluating feature based object hypotheses in a direct way. The idea is to compute a feature likelihood map (FLM), which is ...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...