9067 search results - page 777 / 1814 » Adaptive Model Checking |
176
click to vote
NOSSDAV
1995
Springer
15 years 11 months ago
1995
Springer
While many researchers believe that multimedia applications are best managed with hard, real-time scheduling mechanisms, models based on application-level adaptation with relaxed s...
220
click to vote
DOCENG
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
204
click to vote
ICARIS
2005
Springer
16 years 1 months ago
2005
Springer
Innate immunity now occupies a central role in immunology. However, artificial immune system models have largely been inspired by adaptive not innate immunity. This paper reviews ...
208
click to vote
WETICE
1998
IEEE
15 years 12 months ago
1998
IEEE
The paper surveys the possible coordination models for mobile agent applications and evaluates them in the context of a widely distributed application in the area of WWW informati...
214
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...