430 search results - page 57 / 86 » Architectural support for hypervisor-secure virtualization |
GIS
2007
ACM
14 years 8 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
MIDDLEWARE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...
PADL
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
ICICS
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...
INFOCOM
2000
IEEE
14 years 2 days ago
2000
IEEE
—Bowman is an extensible platform for active networking: it layers active-networking functionality in user-space software over variants of the System V UNIX operating system. The...