2576 search results - page 225 / 516 » A case study in test management |
254
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—Relational database management systems are general in the sense that they can handle arbitrary schemas, queries, and modifications; this generality is implemented using...
198
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
179
click to vote
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
296
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In the post-genomic era, systems-level studies are being performed that seek to explain complex biological systems by integrating diverse resources from fields such as...
210
click to vote
ER
2007
Springer
16 years 23 days ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...