9702 search results - page 1641 / 1941 » Communicating Mobile Processes |
153
click to vote
JCS
2002
15 years 6 months ago
2002
We present two generic formal security models for operating systems of multiapplicative smart cards. The models formalize the main security aspects of secrecy, integrity, secure co...
200
click to vote
NPL
1998
15 years 6 months ago
1998
Abstract. The resolution of combinatorial optimization problems can greatly benefit from the parallel and distributed processing which is characteristic of neural network paradigm...
169
click to vote
TCSV
2002
15 years 6 months ago
2002
An efficient moving object segmentation algorithm suitable for real-time content-based multimedia communication systems is proposed in this paper. First, a background registration ...
220
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Operating systems engineers have developed tracing tools that log details about process execution at the kernel level. These tools make it easier to understand the actual executio...
196
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The integration of Electronic Patient Record (EPR) systems is at the centre of many of the new regional and national initiatives to integrate clinical processes across department,...