10908 search results - page 395 / 2182 » Requirements Engineering Tasks |
158
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
157
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
139
click to vote
ADBIS
2005
Springer
15 years 9 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
123
click to vote
WCE
2007
15 years 5 months ago
2007
— In order to predict the durability of engineering components and improve performance, it is mandatory to understand residual stresses. The last decade has witnessed a significa...
157
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Data stream processing systems have become ubiquitous in academic and commercial sectors, with application areas that include financial services, network traffic analysis, battlef...