Now showing items 1-9 of 9
Communities or Collections matching your query
Items matching your query
Software Verification Tools
(© P. H. Roosen-Runge, 1999, 2003, 2007, 2008)
This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of programs, represented either abstractly in functional ...
A free-standing space elevator structure: a practical alternative to the space tether
Space tethers have been investigated widely as a means to provide easy access to space. However, the design and construction of such a device presents significant unsolved technological challenges. We propose an alternative ...
Web Service Composition as a Planning Task: Experiments using Knowledge-Based Planning
Motivated by the problem of automated Web service composition (WSC), in this paper, we present some empirical evidence to validate the effectiveness of using knowledge-based planning techniques for solving WSC problems. ...
Continuous Modeling of 3D Building Rooftops From Airborne LIDAR and Imagery
In recent years, a number of mega-cities have provided 3D photorealistic virtual models to support the decisions making process for maintaining the cities' infrastructure and environment more effectively. 3D virtual city ...
Hardware Accelerated DNA Sequencing
DNA sequencing technology is quickly evolving. The latest developments ex- ploit nanopore sensing and microelectronics to realize real-time, hand-held devices. A critical limitation in these portable sequencing machines ...
Feasibility of 20 km free-standing inflatable space tower
(British Interplanetary Society, May-10)
This paper describes the theory and analysis for the construction of a thin walled inflatable space tower of 20 km vertical extent in an equatorial location on Earth using gas pressure. The suborbital tower of 20 km height ...
IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning
In this paper we describe an agent-based infrastructure and toolkit to develop inter-operable, intelligent, multiagent systems for Web service composition (WSC) and provisioning. Our toolkit is realized through an interface ...