2274 search results - page 42 / 455 » Qualitative Modeling for Requirements Engineering |
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
76
Voted
IJCAI
2003
14 years 11 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Quality attribute models are proposed as the linkage between a specification of a quality attribute requirement and a design fragment that is focused on achieving that requirement...
ICSEA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...