Sciweavers

3212 search results - page 266 / 643
» Definition and modeling of process using object orientation
Sort
View
CGI
2003
IEEE
15 years 12 months ago
Virtualizing Real-World Objects
High quality, virtual 3D models are quickly emerging as a new multimedia data type with applications in such diverse areas as e-commerce, online encyclopaedias, or virtual museums...
Hendrik P. A. Lensch, Jan Kautz, Michael Goesele, ...
DBSEC
1996
125views Database» more  DBSEC 1996»
15 years 7 months ago
A Framework for High Assurance Security of Distributed Objects
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
John Hale, Jody Threet, Sujeet Shenoi
ICAT
2007
IEEE
15 years 8 months ago
Edge-Based Markerless 3D Tracking of Rigid Objects
In this paper we present a real-time 3D object tracking algorithm based on edges and using a single pre-calibrated camera. During the tracking process, the algorithm is continuous...
Javier Barandiarán, Diego Borro
FMICS
2007
Springer
16 years 22 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
CHI
1997
ACM
15 years 10 months ago
The Amulet User Interface Development Environment
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
Brad A. Myers, Richard G. McDaniel, Robert C. Mill...