Sciweavers

11172 search results - page 1986 / 2235
» Testing Physical Systems
Sort
View
ISW
2004
Springer
15 years 10 months ago
A Distributed High Assurance Reference Monitor
Abstract Ajay Chander1 , Drew Dean2 , and John Mitchell3 1 DoCoMo Communications Laboratories USA, San Jose, CA 95110 2 Computer Science Laboratory, SRI International, Menlo Park, ...
Ajay Chander, Drew Dean, John C. Mitchell
KDD
2004
ACM
157views Data Mining» more  KDD 2004»
15 years 10 months ago
On detecting space-time clusters
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
Vijay S. Iyengar
155
Voted
LOPSTR
2004
Springer
15 years 10 months ago
Determinacy Analysis for Logic Programs Using Mode and Type Information
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
Pedro López-García, Francisco Bueno,...
LSGRID
2004
Springer
15 years 10 months ago
Mega Process Genetic Algorithm Using Grid MP
In this study, a new Genetic Algorithm (GA) using the Tabu · Local Search mechanism is proposed. The GA described in this paper is considered a Mega Process GA, which has an effe...
Yoshiko Hanada, Tomoyuki Hiroyasu, Mitsunori Miki,...
MDM
2004
Springer
15 years 10 months ago
Prediction-Based Strategies for Energy Saving in Object Tracking Sensor Networks
In order to fully realize the potential of sensor networks, energy awareness should be incorporated into every stage of the network design and operation. In this paper, we address...
Yingqi Xu, Julian Winter, Wang-Chien Lee
« Prev « First page 1986 / 2235 Last » Next »