Sciweavers

8555 search results - page 210 / 1711
» Property Based Coordination
Sort
View
IH
1999
Springer
15 years 9 months ago
Robust Watermarking for Images Based on Color Manipulation
Abstract. In this paper we present a new efficient watermarking scheme for images. The basic idea of our method is to alter the colors of the given image in a suitable but imperce...
Sebastiano Battiato, Dario Catalano, Giovanni Gall...
CONCUR
2004
Springer
15 years 10 months ago
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
Paolo Baldan, Andrea Corradini, Barbara König
AAAI
2006
15 years 6 months ago
A Computational Model of Logic-Based Negotiation
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
Dongmo Zhang, Yan Zhang
LOCA
2009
Springer
15 years 11 months ago
LOCK: A Highly Accurate, Easy-to-Use Location-Based Access Control System
With proliferation of ubiquitous computing, digital access is facing an increasing risk since unauthorized client located at any place may intrude a local server. Location Based Ac...
Yongcai Wang, Junhui Zhao, Toshikazu Fukushima
BMCBI
2010
129views more  BMCBI 2010»
15 years 4 months ago
Uncovering packaging features of co-regulated modules based on human protein interaction and transcriptional regulatory networks
Background: Network co-regulated modules are believed to have the functionality of packaging multiple biological entities, and can thus be assumed to coordinate many biological fu...
Lina Chen, Hong Wang, Liangcai Zhang, Wan Li, Qian...