2203 search results - page 310 / 441 » Temporal Abstract Interpretation |
153
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
131
Voted
GI
2005
Springer
15 years 9 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
137
Voted
IWCM
2004
Springer
15 years 9 months ago
2004
Springer
We present a variational approach for segmenting the image plane into regions of piecewise parametric motion given two or more frames from an image sequence. Our model is based on ...
128
click to vote
SIGOPSE
2000
ACM
15 years 8 months ago
2000
ACM
Recently there has been a renewed interest in the application of economic models to the management of computational resources. Most of this interest is focused on pricing models f...
136
Voted
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...