430 search results - page 12 / 86 » Statistical Certification of Software Systems |
AGILEDC
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes the authors’ experiences creating a full Build Management System from a simple Version Control System. We will explore how the XP values of simplicity, feed...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Our purpose is to provide an augmented reality system for Radio-Frequency guidance that could superimpose a 3D model of the liver, its vessels and tumors (reconstructed from CT ima...
CODES
2010
IEEE
13 years 5 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
ODRL
2004
13 years 8 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...