Sciweavers

2740 search results - page 25 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
ICSEA
2008
IEEE
14 years 3 months ago
Analysis of a Distributed e-Voting System Architecture against Quality of Service Requirements
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...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
BDIM
2007
IEEE
99views Business» more  BDIM 2007»
14 years 3 months ago
Model-Based Mitigation of Availability Risks
The assessment and mitigation of risks related to the availability of the IT infrastructure is becoming increasingly important in modern organizations. Unfortunately, present stan...
Emmanuele Zambon, Damiano Bolzoni, Sandro Etalle, ...
HICSS
2007
IEEE
212views Biometrics» more  HICSS 2007»
14 years 3 months ago
Fully-automatic generation of user interfaces for multiple devices from a high-level model based on communicative acts
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
Jürgen Falb, Roman Popp, Thomas Röck, He...
EMMCVPR
2005
Springer
14 years 2 months ago
Deformable-Model Based Textured Object Segmentation
Abstract. In this paper, we present a deformable-model based solution for segmenting objects with complex texture patterns of all scales. The external image forces in traditional d...
Xiaolei Huang, Zhen Qian, Rui Huang, Dimitris N. M...
EUROMICRO
2009
IEEE
14 years 29 days ago
Automated Feature Model-Based Generation of Refinement Transformations
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
Lucia Kapová, Thomas Goldschmidt