3555 search results - page 478 / 711 » Security-Critical System Development with Extended Use Cases |
176
Voted
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
135
Voted
TSE
2008
15 years 5 months ago
2008
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few empirical studies exist which investigate the c...
317
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
169
click to vote
JCS
2002
15 years 5 months ago
2002
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...
207
click to vote
SPAA
2012
ACM
13 years 8 months ago
2012
ACM
GPU-based heterogeneous clusters continue to draw attention from vendors and HPC users due to their high energy efficiency and much improved single-node computational performance...