8009 search results - page 1250 / 1602 » cans 2005 |
181
click to vote
TGC
2005
Springer
16 years 1 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
169
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
200
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
220
click to vote
TRUSTBUS
2005
Springer
16 years 1 months ago
2005
Springer
The executions of operating system services based on smart cards allow one to personalize some functionalities of the operating system by using the secret information stored in a s...
213
click to vote
TRUSTBUS
2005
Springer
16 years 1 months ago
2005
Springer
Beginning with the adoption of the de-facto standard for wireless LAN communications IEEE 802.11 in 1999 we can observe a continuous growth of public wireless LAN hotspots that pro...