14577 search results - page 2528 / 2916 » Statistical Language Modelling |
163
click to vote
CAV
2005
Springer
16 years 10 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...
214
click to vote
CCS
2005
ACM
16 years 10 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...
163
click to vote
CP
2005
Springer
16 years 10 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...
138
click to vote
DAGM
2005
Springer
16 years 10 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 ...
198
click to vote
DSVIS
2005
Springer
16 years 10 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...