3733 search results - page 259 / 747 » Logics of communication and change |
158
click to vote
ACNS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...
169
click to vote
ER
2007
Springer
16 years 25 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
182
click to vote
IFL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
183
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
157
click to vote
VAMOS
2007
Springer
16 years 23 days ago
2007
Springer
The omnipresent integration of computer technology in everyday applications introduces new opportunities to make software systems aware of the context in which they are used. Such...