6054 search results - page 817 / 1211 » Implementation of Andorra-based Languages |
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...
153
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
In the context of previous work on redundant modeling, permutation problems and matrix modeling, we introduce the notion of partial redundant modeling and categorical channeling co...
160
click to vote
GPCE
2005
Springer
16 years 9 days ago
2005
Springer
Saving the internal data of an application in an external form is called marshalling. A generic marshaller is difficult to optimize because the format of the data that will be mars...
208
click to vote
GW
2005
Springer
16 years 9 days ago
2005
Springer
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
166
click to vote
ICESS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...