1397 search results - page 114 / 280 » On the Need for Practical Formal Methods |
FM
2003
Springer
14 years 3 months ago
2003
Springer
: Real computer-based systems fail, and hence are often far less dependable than their owners and users need and desire. Individuals, organisations and indeed the world at large ar...
DGO
2003
13 years 11 months ago
2003
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
ICPR
2008
IEEE
14 years 11 months ago
2008
IEEE
As an emerging human-computer interaction approachvision based hand interaction is more natural and efficient. Howeverin order to achieve high accuracy, most of the existing hand ...
ISMAR
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a method that is able to track several 3D objects simultaneously, robustly, and accurately in real-time. While many applications need to consider more than one object i...
ECBS
2007
IEEE
14 years 4 months ago
2007
IEEE
Architectural quality constitutes a critical factor for contemporary software systems, especially because of their size and the needs for frequent, quick changes. For success-crit...