Sciweavers

8278 search results - page 115 / 1656
» Context-Aware Process Networks
Sort
View
PACT
2001
Springer
15 years 7 months ago
Static Analysis for Secrecy and Non-interference in Networks of Processes
We introduce the νSPI-calculus that strengthens the notion of “perfect symmetric cryptography” of the spi-calculus by taking time into account. This involves defining an oper...
Chiara Bodei, Pierpaolo Degano, Flemming Nielson, ...
115
Voted
SIBGRAPI
1999
IEEE
15 years 6 months ago
An Image Processing and Belief Network Approach to Face Detection
This work describes an approach for face detection, which is the rst stage of any fully automatedhumanface recognition system. We propose several enhancements to a feature-based ap...
Paulo Sérgio de Souza Coelho, Claudio Esper...
102
Voted
EUROMICRO
1998
IEEE
15 years 6 months ago
Managing Processes with Network Objects and Their Translation
Dmitry Arapov, Victor Ivannikov, Alexey Kalinov, A...
GLVLSI
1998
IEEE
118views VLSI» more  GLVLSI 1998»
15 years 6 months ago
Design of Clock Distribution Networks in Presence of Process Variations
Mohamed Nekili, Yvon Savaria, Guy Bois
VLDB
1997
ACM
135views Database» more  VLDB 1997»
15 years 6 months ago
Caprera: An Activity Framework for Transaction Processing on Wide-Area Networks
Suresh Kumar, Eng-Kee Kwang, Divyakant Agrawal