868 search results - page 46 / 174 » Debugging for Model Expansion |
EUROSYS
2008
ACM
14 years 7 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
GI
2007
Springer
14 years 4 months ago
2007
Springer
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
AUSAI
2009
Springer
14 years 4 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
ICSE
2011
IEEE-ACM
13 years 1 months ago
2011
IEEE-ACM
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
WSC
1998
13 years 11 months ago
1998
This paper presents a practical undertaking to solve an industry-specific problem of facility expansion through relocation of an existing production facility to a proposed new fac...