527 search results - page 53 / 106 » Words and Bisimulations of Dynamical Systems |
SISW
2005
IEEE
14 years 1 months ago
2005
IEEE
Traditional storage systems have considered security as a problem to be solved at the perimeter: once a user is authenticated, each device internal to the system trusts the decisi...
JNSM
2000
13 years 7 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
A Decentralized Market Information System (DMIS) that aggregates and provides information about markets is an important component for achieving markets in Grid and Peer-to-Peer sys...
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
13 years 9 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
JCB
2002
13 years 7 months ago
2002
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...