9110 search results - page 172 / 1822 » Formally-Based Design Evaluation |
145
click to vote
ECIS
2004
15 years 6 months ago
2004
This paper reports results from two field trials of TrottingPal, a mobile system that supports event information management and seamless collaboration between spectators at the tr...
186
click to vote
TSE
2010
14 years 11 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
132
Voted
ISQED
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a methodology for the simulation of soft errors targeting future nano-technological devices. This approach efficiently scales the failure rate of individual devices ac...
138
click to vote
RTCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...
163
Voted
VISSOFT
2005
IEEE
15 years 10 months ago
2005
IEEE
The paper presents and assesses a layout scheme for UML class diagrams that takes into account the architectural importance of a class in terms of its stereotype (e.g., boundary, ...