Sciweavers

2014 search results - page 124 / 403
» Intelligent Transportation System (ITS)
Sort
View
ICIA
2007
15 years 12 days ago
Supporting Air Traffic Flow Management with Agents
Air traffic flow management is an inherently complex decision making process that involves a variety of entities. We propose an agent-based system to facilitate mutually beneficia...
Shawn R. Wolfe
DAWAK
2001
Springer
15 years 2 months ago
Towards a Novel OLAP Interface for Distributed Data Warehouses
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
Ayman Ammoura, Osmar R. Zaïane, Randy Goebel
ESEC
1997
Springer
15 years 2 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
ENVSOFT
2000
70views more  ENVSOFT 2000»
14 years 10 months ago
Modeling soil pile bioremediation
A model is presented for the analysis of bioremediation applied to an ex situ soil pile. The approach is based on the remediation of a pile containing the contaminated soil, which...
Fehmidakhatun A. Mesania, Aaron A. Jennings
IJISEC
2011
71views more  IJISEC 2011»
14 years 1 months ago
Principles of remote attestation
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...
George Coker, Joshua D. Guttman, Peter Loscocco, A...