8109 search results - page 470 / 1622 » A Model of Component-Based Programming |
180
click to vote
TACAS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
235
click to vote
WCET
2010
15 years 5 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
189
click to vote
BIRTHDAY
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
209
click to vote
CISIS
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
206
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...