10038 search results - page 1793 / 2008 » Model Checking for Managers |
130
Voted
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
130
click to vote
EDO
2005
Springer
15 years 10 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
159
Voted
EMSOFT
2005
Springer
15 years 10 months 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...
148
Voted
ERCIMDL
2005
Springer
15 years 10 months ago
2005
Springer
Daffodil is a front-end to federated, heterogeneous digital libraries targeting at strategic support of users during the information seeking process. This is done by offering a va...
163
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
With advanced technologies, computer devices have become smaller and powerful. As a result, many people enjoy ubiquitous learning using mobile devices such as Pocket PCs. Pocket PC...