3828 search results - page 150 / 766 » Proof-Based System Engineering Using a Virtual System Model |
185
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Virtually all proposals for querying XML include a class of query we term "containment queries". It is also clear that in the foreseeable future, a substantial amount of...
185
click to vote
ASWEC
2007
IEEE
16 years 18 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
218
click to vote
CBSE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
171
click to vote
VVG
2003
15 years 7 months ago
2003
We describe an innovative system designed for museums to create, manage and present multimedia based representations of museum artefacts in virtual exhibitions both inside and out...
169
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper introduces two kinds of free viewpoint observation systems for sporting events captured with uncalibrated multiple cameras in a stadium. In the first system (Viewpoint...