647 search results - page 94 / 130 » Implementation of MAP: A system for mobile assistant program... |
150
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
148
click to vote
APLAS
2003
ACM
15 years 11 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
172
click to vote
MASCOTS
2003
15 years 7 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
168
click to vote
WSC
2008
15 years 8 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
160
click to vote
IPPS
2009
IEEE
16 years 14 days ago
2009
IEEE
This paper describes the design and the implementation of parallel routines in the Heterogeneous ScaLAPACK library that solve a dense system of linear equations. This library is w...