4752 search results - page 73 / 951 » Dependability in Web Software |
162
click to vote
ISSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
131
click to vote
ISCAPDCS
2003
15 years 6 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...
157
click to vote
ICSM
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
142
click to vote
NSDI
2010
15 years 6 months ago
2010
Today, large-scale web services run on complex systems, spanning multiple data centers and content distribution networks, with performance depending on diverse factors in end syst...
128
Voted
SCAM
2008
IEEE
15 years 11 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...