1967 search results - page 256 / 394 » The Case for Determinism in Database Systems |
159
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
With concerns about terrorism and global security on the rise, it has become vital to have in place efficient threat detection systems that can detect and recognize potentially da...
163
Voted
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
172
click to vote
ASPLOS
2004
ACM
16 years 3 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
193
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
175
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...