70 search results - page 11 / 14 » A Framework for Verifying Data-Centric Protocols |
CBSE
2008
Springer
14 years 26 days ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
IASTEDSEA
2004
14 years 7 days ago
2004
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
IIWAS
2008
14 years 9 days ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
SIGMOD
2009
ACM
14 years 11 months ago
2009
ACM
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
AMW
2010
14 years 9 days ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...