3333 search results - page 375 / 667 » Abstract Proof Search |
168
click to vote
IFM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
174
click to vote
ISW
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...
172
click to vote
OTM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Protocols that govern the interactions between software components are a popular means to support the construction of correct component-based systems. Previous studies ha...
160
click to vote
TGC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
163
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...