2468 search results - page 93 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
132
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
143
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
138
Voted
MDM
2001
Springer
15 years 8 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
150
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Dealing with verbose (or long) queries poses a new challenge for information retrieval. Selecting a subset of the original query (a "sub-query") has been shown to be an ...
124
click to vote
CVPR
2003
IEEE
16 years 5 months ago
2003
IEEE
This paper presents a generative model based approach to man-made structure detection in 2D natural images. The proposed approach uses a causal multiscale random field suggested i...