5189 search results - page 726 / 1038 » Modeling architectural patterns using architectural primitiv... |
207
click to vote
UML
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
240
click to vote
SAB
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
252
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
227
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
234
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...