3255 search results - page 210 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
212
click to vote
TCSB
2010
15 years 3 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
140
click to vote
WER
2000
Springer
15 years 8 months ago
2000
Springer
Distributed database design is a complex process that involves a set of distinct aspects for the accomplishment of an adequate data distribution (Buretta 1997). Many of these aspec...
147
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
151
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
146
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...