3667 search results - page 386 / 734 » Software Rejuvenation - Modeling and Analysis |
331
click to vote
DOCENG
2011
ACM
14 years 6 months ago
2011
ACM
The growth of mobile phone users has lead to a dramatic increasing of SMS spam messages. In practice, fighting mobile phone spam is difficult by several factors, including the lo...
175
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
186
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
205
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...