3909 search results - page 413 / 782 » Extreme Model Checking |
142
click to vote
IS
2010
15 years 3 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...
149
click to vote
CGI
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
145
click to vote
ASMTA
2008
Springer
15 years 6 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
153
Voted
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
With the advent of cognitive radio technology, new paradigms for spectrum access can achieve near-optimal spectrum utilisation by letting each user sense and utilise available s...
129
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...