Sciweavers

5105 search results - page 637 / 1021
» Approximate Structural Consistency
Sort
View
ICDCS
2007
IEEE
16 years 1 months ago
A Virtual Node-Based Tracking Algorithm for Mobile Networks
— We introduce a virtual-node based mobile object tracking algorithm for mobile sensor networks, VINESTALK. The algorithm uses the Virtual Stationary Automata programming layer, ...
Tina Nolte, Nancy A. Lynch
ISVD
2007
IEEE
16 years 1 months ago
Detecting Stellar Streams in the Halos of Galaxies with Voronoi Tessellations
Galaxy formation models oriented towards a ΛCDM cosmology envision galaxies as being built through the accretion of dwarf galaxies. Such galaxy accretion should appear as tidally...
Jonathan Sick, Roelof de Jong
SASO
2007
IEEE
16 years 1 months ago
Towards Supporting Interactions between Self-Managed Cells
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
Alberto E. Schaeffer Filho, Emil C. Lupu, Naranker...
APN
2007
Springer
16 years 1 months ago
Complete Process Semantics for Inhibitor Nets
In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
CC
2007
Springer
16 years 1 months ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...