2272 search results - page 400 / 455 » Validity Invariants and Effects |
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Predicting software quality as perceived by a customer may allow an organization to adjust deployment to meet the quality expectations of its customers, to allocate the appropriat...
ICDE
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- Despite the best intentions of disk and RAID manufacturers, on-disk data can still become corrupted. In this paper, we examine the effects of corruption on database mana...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
Ubiquitous connectivity on mobile devices will enable numerous new applications in healthcare and multimedia. We set out to check how close we are towards ubiquitous connectivity ...
MOBIHOC
2008
ACM
14 years 9 months ago
2008
ACM
Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range co...
PLDI
2010
ACM
14 years 7 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...