9067 search results - page 528 / 1814 » Adaptive Model Checking |
194
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
194
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
Machine Learned Ranking approaches have shown successes in web search engines. With the increasing demands on developing effective ranking functions for different search domains, ...
315
click to vote
Publication
The current Internet only supports best-effort traffic. New high-speed technologies such as ATM (asynchronous transfer mode), gigabit Ethernet, fast Ethernet, and frame relay, have...
179
click to vote
IWNAS
2008
IEEE
16 years 1 months ago
2008
IEEE
To maintain consistency, designers of replicated services have traditionally been forced to choose from either strong consistency guarantees or none at all. Realizing that a conti...
192
click to vote
IUI
2004
ACM
16 years 14 days ago
2004
ACM
An analysis of context-aware user interfaces shows that adaptation mechanisms have a cost-benefit trade-off for usability. Unpredictable autonomous interface adaptations can easil...