6202 search results - page 839 / 1241 » Without Loss of Generality |
203
click to vote
CCS
2004
ACM
16 years 8 days ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
218
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
224
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
In current embedded systems, one of the major concerns is energy conservation. The dynamic voltage-scheduling (DVS) framework, which involves dynamically adjusting the voltage and...
191
click to vote
ICCHP
2004
Springer
16 years 7 days ago
2004
Springer
: Multimedia and Hypermedia technologies can be successfully used in education and rehabilitation for cognitively disabled persons. In particular, storytelling has always proved su...
184
click to vote
KR
2004
Springer
16 years 7 days ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...