8623 search results - page 1662 / 1725 » Software engineering for secure systems |
AFRIGRAPH
2001
ACM
14 years 21 days ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
ER
2000
Springer
14 years 20 days ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
HPCN
1995
Springer
14 years 18 days ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
SIGGRAPH
1995
ACM
14 years 18 days ago
1995
ACM
Recent advances in realtime image compression and decompression hardware make it possible for a high-performance graphics engine to operate as a rendering server in a networked en...
ASM
2010
ASM
14 years 11 days ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...