Sciweavers

225 search results - page 27 / 45
» Inter-enterprise System and Application Integration: A Reali...
Sort
View
VRML
1998
ACM
15 years 1 months ago
Using VRML as an Interface to the 3D Data Warehouse
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
Volker Coors, Volker Jung
94
Voted
RTA
2010
Springer
15 years 1 months ago
Certified Subterm Criterion and Certified Usable Rules
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...
Christian Sternagel, René Thiemann
SOSP
2007
ACM
15 years 6 months ago
Secure virtual architecture: a safe execution environment for commodity operating systems
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
John Criswell, Andrew Lenharth, Dinakar Dhurjati, ...
FDL
2005
IEEE
15 years 3 months ago
Meta Modelling of Embedded Systems using Active Databases
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
Dieter Monjau, Mathias Sporer
ICCV
2005
IEEE
15 years 3 months ago
A Joint System for Person Tracking and Face Detection
Abstract. Visual detection and tracking of humans in complex scenes is a challenging problem with a wide range of applications, for example surveillance and human-computer interact...
ZhenQiu Zhang, Gerasimos Potamianos, Andrew W. Sen...