4350 search results - page 559 / 870 » Case studies for contract-based systems |
171
click to vote
ISW
2004
Springer
16 years 6 days ago
2004
Springer
We study the security challenges faced by the mobile agent paradigm, where code travels and performs computations on remote hosts in an autonomous manner. We define universally co...
191
click to vote
MICAI
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we present a technique for prediction of electrical demand based on multiple models. The multiple models are composed by several local models, each one describing a r...
198
click to vote
PARA
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
160
click to vote
WISA
2004
Springer
16 years 5 days ago
2004
Springer
In distributed component environment, a Role-Based Access Control (RBAC) server manages all authorization policies of components in the same domains whereas the components are dist...
188
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper proposes a novel methodology tailored to design embedded systems, taking into account the emerging market needs, such as hw/sw partitioning, object-oriented specificati...