789 search results - page 70 / 158 » A Formal Model for Epistemic Interactions |
PLDI
2012
ACM
11 years 10 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
CBSE
2009
Springer
14 years 2 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
BPM
2007
Springer
13 years 10 months ago
2007
Springer
Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered ...
JLP
2008
13 years 8 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...