2576 search results - page 502 / 516 » A case study in test management |
163
click to vote
HICSS
2010
IEEE
16 years 18 days ago
2010
IEEE
Communities of practice (COPs) have been around since the founding of the first social networks many millennia ago. Organizations around the world over the last two decades have l...
164
click to vote
EDBT
2010
ACM
16 years 17 days ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
161
click to vote
VEE
2009
ACM
16 years 16 days ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
180
click to vote
ICAC
2009
IEEE
16 years 14 days ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
178
click to vote
TPHOL
2009
IEEE
16 years 11 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...