536 search results - page 34 / 108 » Deconstructing process isolation |
CSFW
1995
IEEE
14 years 6 days ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
SIAMNUM
2010
13 years 3 months ago
2010
Polynomials with quaternionic coefficients located on only one side of the powers (we call them simple polynomials) may have two different types of zeros: isolated and spherical ze...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
In natural images, luminance changes occur both on object contours and on textures. Often, the latter are stronger than the former, thus standard edge detectors fail in isolating ...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
A sparse representation based method is proposed for text detection from scene images. We start with edge information extracted using Canny operator and then group these edge poin...
EGOV
2003
Springer
14 years 1 months ago
2003
Springer
This paper offers a fresh perspective to study the role and implications of information and communications technologies (ICT) in processes of local democracy. It moves away from ea...