9067 search results - page 1638 / 1814 » Adaptive Model Checking |
183
click to vote
EMSOFT
2005
Springer
16 years 12 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
173
click to vote
ERCIMDL
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
167
click to vote
GFKL
2005
Springer
16 years 11 days ago
2005
Springer
One of the key challenges in large information systems such as online shops and digital libraries is to discover the relevant knowledge from the enormous volume of information. Rec...
172
click to vote
ICSE
2005
IEEE-ACM
16 years 11 days ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
205
click to vote
JIT
2005
Springer
16 years 11 days ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...