3435 search results - page 440 / 687 » Aspect Model Unweaving |
187
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
119
click to vote
ICSOC
2009
Springer
16 years 1 months ago
2009
Springer
Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to ch...
161
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The following study shows a direct comparison of memory write policies in Shared Memory Multicore Systems. Although there are much work and many studies about this issue, our work...
158
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a new method to solve a problem of image restoration with many different aspects: reconstruction from irregular samples, deconvolution and denoising. The model we propo...
163
click to vote
VR
2008
IEEE
16 years 29 days ago
2008
IEEE
Access control is an important aspect of shared virtual environments. Resource access may not only depend on prior authorization, but also on context of usage such as distance or ...