691 search results - page 101 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
ASWEC
2007
IEEE
13 years 12 months ago
2007
IEEE
Influence control is a very challenging issue in dynamic reconfiguration and still not well addressed in the literature. This paper argues that dynamic reconfiguration influences s...
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Wireless sensor network (WSN) applications have been studied extensively in recent years. Such applications involve resource-limited embedded sensor nodes that have small size and...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
PODS
2007
ACM
14 years 8 months ago
2007
ACM
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
CA
1998
IEEE
14 years 7 days ago
1998
IEEE
This paper presents a voxel-based animation technique which employs either a massspring modelor a niteelementmodel. The voxel-basedmeshis generated in a pre-processing step. Two v...