1484 search results - page 216 / 297 » A Coordination Model for Interactive Components |
177
click to vote
TIT
2010
15 years 29 days ago
2010
This is the first part of a two-part paper on information-theoretically secure secret key agreement. In this part, we study the secrecy problem under the widely studied source mod...
170
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
152
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
The process by which a cell senses and responds to its environment, as in signal transduction, is often mediated by a network of protein-protein interactions, in which proteins co...
199
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
159
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....