3801 search results - page 130 / 761 » An Approach to Modeling Software Safety |
135
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
118
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
137
click to vote
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
127
Voted
CEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
149
Voted
CSMR
1999
IEEE
15 years 8 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...