3828 search results - page 610 / 766 » Proof-Based System Engineering Using a Virtual System Model |
148
click to vote
ESCIENCE
2005
IEEE
15 years 10 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...
167
click to vote
TSP
2008
15 years 5 months ago
2008
The detection and estimation of signals in noisy, limited data is a problem of interest to many scientific and engineering communities. We present a mathematically justifiable, com...
148
click to vote
ISMAR
2002
IEEE
15 years 10 months ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
134
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
224
Voted
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...