1532 search results - page 276 / 307 » An Algebraic Process Calculus |
182
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
217
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
200
click to vote
CCGRID
2006
IEEE
16 years 18 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
176
click to vote
CSFW
1995
IEEE
15 years 10 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
239
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
This paper outlines a geometric parameterization of 2D curves where the parameterization is in terms of geometric invariants and terms that determine an intrinsic coordinate system...