9444 search results - page 1577 / 1889 » The Language Model LMNtal |
192
click to vote
CALCO
2005
Springer
16 years 7 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
160
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
211
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
162
click to vote
CP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
136
click to vote
DAGM
2005
Springer
16 years 7 days ago
2005
Springer
Over the last decade voice technologies for telephony and embedded solutions became much more mature, resulting in applications providing mobile access to digital information from ...