8125 search results - page 1384 / 1625 » Adaptable and Adaptive Hypermedia Systems |
176
click to vote
LCN
2005
IEEE
16 years 9 days ago
2005
IEEE
— Currently, Denial of Service (DoS) attacks remain amongst the most critical threats to Internet applications. The goal of the attacker in a DoS attack is to overwhelm a shared ...
221
click to vote
NCA
2005
IEEE
16 years 9 days ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
163
click to vote
RTAS
2005
IEEE
16 years 9 days ago
2005
IEEE
It is advantageous to perform compiler optimizations to lower the WCET of a task since tasks with lower WCETs are easier to schedule and more likely to meet their deadlines. Compi...
180
click to vote
AMOST
2005
ACM
16 years 8 days ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
208
click to vote
HASKELL
2005
ACM
16 years 8 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...