2938 search results - page 547 / 588 » On obfuscating point functions |
128
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes our experience using dependency analysis and visualization as a tool to identify intervention points for migrating applications to environments where they can...
156
click to vote
DSN
2002
IEEE
15 years 10 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
143
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
167
click to vote
ICPPW
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
274
click to vote
ISMAR
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a way of making the wearing of a lifelong electrocardiographic health monitor fun for a user. The health monitor is coupled with a reality mediator device to create a P...