5409 search results - page 606 / 1082 » Basic Observables for Processes |
186
click to vote
WMTE
2006
IEEE
16 years 24 days ago
2006
IEEE
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. A multi-agent...
147
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
146
Voted
3DIM
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...
156
click to vote
ACSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
The work presented in this paper is intended to test crucial system services against stack overflow vulnerabilities. The focus of the test is the user-accessible variables, that i...
165
click to vote
ACSAC
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...