15644 search results - page 272 / 3129 » Brittle System Analysis |
206
click to vote
HASE
2005
IEEE
16 years 8 days ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
139
click to vote
SAS
2004
Springer
16 years 19 hour ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
180
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
183
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
188
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...