Sciweavers

562 search results - page 29 / 113
» Third quarter 2008
Sort
View
RTSS
2008
IEEE
14 years 4 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
WCNC
2008
IEEE
14 years 4 months ago
Achievable Rates for the Three User Cooperative Multiple Access Channel
— For a three user Gaussian multiple access channel (MAC), we propose a new superposition block Markov encoding based cooperation scheme. Our scheme allows the three users to sim...
Çagatay Edemen, Onur Kaya
WIMOB
2008
IEEE
14 years 4 months ago
Resource Management Strategies for Mobile Web-Based Services
—The great diffusion of Mobile Web-enabled devices allows the implementation of novel personalization, location and adaptation services that will place unprecedented strains on t...
Claudia Canali, Michele Colajanni, Riccardo Lancel...
AFRICACRYPT
2008
Springer
14 years 4 months ago
Analysis of Grain's Initialization Algorithm
In this paper, we analyze the initialization algorithm of Grain, one of the eSTREAM candidates which made it to the third phase of the project. We point out the existence of a slid...
Christophe De Cannière, Özgül K&u...
DLOG
2008
14 years 13 days ago
Rewriting Rules into SROIQ Axioms
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
Francis Gasse, Ulrike Sattler, Volker Haarslev