652 search results - page 62 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
102
click to vote
EWSPT
2001
Springer
15 years 2 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
106
click to vote
VLDB
2007
ACM
15 years 4 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
CISST
2003
14 years 11 months ago
2003
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
PDPTA
2003
14 years 11 months ago
2003
— In this paper, we propose a powerful and convenient querying model, "Queryball", for users to query in immersive VR systems. In immersive VR systems, users expect int...