474 search results - page 53 / 95 » Assurance Based Development of Critical Systems |
140
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
Critical systems like pace-makers, defibrillators, wearable computers and other electronic gadgets have to be designed not only for reliability but also for ultra-low power consu...
151
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
119
click to vote
ICRE
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
119
click to vote
PADS
2006
ACM
15 years 10 months ago
2006
ACM
The development of realistic topology generators that produce faithful replicas of Internet topologies is critical for conducting realistic simulation studies of Internet protocol...
146
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we explore the interaction between a dynamic model of the power transmission system (OPA) and a simple economic model of power generation development. Despite the si...