3865 search results - page 454 / 773 » From Bidirectionality to Alternation |
154
click to vote
CAV
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
181
click to vote
CRYPTO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Secure multiparty computation allows a group of distrusting parties to jointly compute a (possibly randomized) function of their inputs. However, it is often the case tha...
148
click to vote
DALT
2007
Springer
16 years 28 days ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
199
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
192
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...