Sciweavers

6388 search results - page 1096 / 1278
» Knowledge and Information
Sort
View
JCP
2008
116views more  JCP 2008»
15 years 6 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
INFORMATICALT
2006
164views more  INFORMATICALT 2006»
15 years 6 months ago
Usability Evaluation of a Virtual Museum Interface
The Augmented Representation of Cultural Objects (ARCO) system provides software and interface tools to museum curators to develop virtual museum exhibitions, as well as a virtual ...
Athanasis Karoulis, Stella Sylaiou, Martin White
CPHYSICS
2007
126views more  CPHYSICS 2007»
15 years 6 months ago
Adaptive continuation algorithms for computing energy levels of rotating Bose-Einstein condensates
We describe adaptive continuation algorithms for computing energy levels of the Bose–Einstein condensates (BEC) with emphasis on the rotating BEC. We show that the rotating BEC ...
S.-L. Chang, C.-S. Chien
IVS
2006
131views more  IVS 2006»
15 years 6 months ago
Understanding the dynamics of collaborative multi-party discourse
In this paper, we discuss the efforts underway at the Pacific Northwest National Laboratory in understanding the dynamics of multi-party discourse across a number of communication...
Andrew J. Cowell, Michelle L. Gregory, Joe Bruce, ...
JNW
2008
124views more  JNW 2008»
15 years 6 months ago
A Position Based Ant Colony Routing Algorithm for Mobile Ad-hoc Networks
Position based routing algorithms use the knowledge of the position of nodes for routing of packets in mobile ad-hoc networks. Previously proposed position based routing algorithms...
Shahab Kamali, Jaroslav Opatrny
« Prev « First page 1096 / 1278 Last » Next »