7380 search results - page 456 / 1476 » Engineering Software Intensive Systems |
145
click to vote
QSIC
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
125
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
104
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...
139
Voted
FOSSACS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
133
Voted
AUIC
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose that a metaphor can be used to represent domains that are not easily quantifiable. The metaphor then can be used as an interface to communicate informatio...