3828 search results - page 357 / 766 » Proof-Based System Engineering Using a Virtual System Model |
159
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
185
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
187
click to vote
TCBB
2008
15 years 6 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
189
click to vote
SOSYM
2010
15 years 1 months ago
2010
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
165
Voted
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
VolVis is a diversified, easy to use, extensible, high performance, and portable volume visualization system for scientists and engineers as well as for visualization developers a...