1087 search results - page 129 / 218 » Achieving Distributed Control through Model Checking |
EUROSYS
2008
ACM
14 years 6 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
IJSWIS
2007
13 years 9 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— We consider the problem of improving the performance of multiwavelets-based image coders through texture parametrization. Texture parametrization is designed to achieve...
SCFBM
2008
13 years 8 months ago
2008
Background: The construction of complex spatial simulation models such as those used in network epidemiology, is a daunting task due to the large amount of data involved in their ...
HPDC
2007
IEEE
14 years 3 months ago
2007
IEEE
The proprietary nature of existing Content Delivery Networks (CDNs) means they are closed and do not naturally cooperate, resulting in “islands” of CDNs. Finding ways for dist...