6846 search results - page 1128 / 1370 » Developing an Active Observer |
133
click to vote
JAR
2006
15 years 4 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
206
click to vote
JCO
2006
15 years 4 months ago
2006
We study a novel "coverage by directional sensors" problem with tunable orientations on a set of discrete targets. We propose a Maximum Coverage with Minimum Sensors (MCM...
151
click to vote
JUCS
2008
15 years 4 months ago
2008
: Advances in wireless communication and mobile computing extend collaboration scenarios. Mobile workers using computing devices are currently able to collaborate in order to carry...
157
Voted
JWSR
2008
2008
DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages
15 years 4 months ago
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspec...
182
Voted
JPDC
2006
15 years 4 months ago
2006
We focus on data gathering problems in energy constrained networked sensor systems. The system operates in rounds where a subset of the sensors generate a certain number of data p...