3765 search results - page 605 / 753 » Formal Methods for Systems Engineering Behavior Models |
159
click to vote
EJIS
2007
15 years 6 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
174
click to vote
COMPSAC
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
179
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
179
click to vote
CN
2006
15 years 6 months ago
2006
In this paper, we perform a stochastic analysis of the packet-pair technique, which is a widely used method for estimating the network bandwidth in an end-to-end manner. There has...
313
click to vote
SADFE
2008
IEEE
16 years 26 days ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...