2231 search results - page 97 / 447 » Alternation as a programming paradigm |
103
click to vote
VR
2010
IEEE
14 years 10 months ago
2010
IEEE
The ISO 9241 Part 9 standard [2] pointing task is used to evaluate passive haptic feedback in target selection in a virtual environment (VE). Participants performed a tapping task...
110
click to vote
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
Within the EP-Cache project, the Performance Cockpit has been developed to provide a unified GUI for a series of performance tools. This is achieved through the establishment of a...
IH
2005
Springer
15 years 5 months ago
2005
Springer
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...
132
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...