2227 search results - page 265 / 446 » Reversibility and Models for Concurrency |
FUIN
2006
13 years 10 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
ENTCS
2002
13 years 10 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
ICPR
2008
IEEE
14 years 12 months ago
2008
IEEE
CT colonography (CTC) is a rapidly evolving technique to screen for colorectal polyps. Fecal residue may occlude or, reversely, mimic polyps. Electronic cleansing aims at removing...
GLOBECOM
2007
IEEE
14 years 5 months ago
2007
IEEE
—Location information should be verifiable in order to support new computing and information services. In this paper, we adapt the classical challenge-response method for authen...
MMM
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents a fragile watermarking technique to tamper proof (Mocap) motion capture data. The technique visualizes 3D Mocap data as a series of cluster of points. Watermark...