Traditional access control models are often found to be inadequate for digital libraries. This is because the user population for digital libraries is very dynamic and not complete...
Metering flights at key points such as sector crossings is an important operational procedure in mitigating National Airspace System (NAS) traffic congestion due to high demand or...
Paul T. R. Wang, Craig R. Wanke, Frederick P. Wiel...
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
Declustering and replication are well known techniques used to improve response time of queries in parallel disk environments. As data replication incurs a penalty for updates, da...
Current Bayesian net representations do not consider structure in the domain and include all variables in a homogeneous network. At any time, a human reasoner in a large domain ma...