946 search results - page 95 / 190 » Process Algebra and Non-Interference |
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Abstract--An image can be seen as an element of a vector space so that it can be expressed in terms of a series expansion of any non necessarily orthogonal base of this space. This...
ICDE
2005
IEEE
14 years 11 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
We show in this paper how to evaluate the performance of skeleton-based high level parallel programs. Since many applications follow some commonly used algorithmic skeletons, we id...