3425 search results - page 237 / 685 » A Model Driven Approach for Software Systems Reliability |
128
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...
144
click to vote
ROBOCUP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
123
click to vote
JUCS
2010
15 years 2 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
140
click to vote
CMPB
2010
15 years 2 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
120
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...