1733 search results - page 150 / 347 » On the naturalness of software |
141
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
154
click to vote
ICPPW
2008
IEEE
16 years 28 days ago
2008
IEEE
—Developing fault management mechanisms is a difficult task because of the unpredictable nature of failures. In this paper, we present a fault simulation framework for Blue Gene...
164
click to vote
MODELS
2007
Springer
16 years 19 days ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
157
click to vote
NSPW
2006
ACM
16 years 13 days ago
2006
ACM
The use of deception is one of many defensive techniques being explored today. In the past, defenders of systems have used deception haphazardly, but now researchers are developin...
159
click to vote
FDL
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...