11561 search results - page 1953 / 2313 » A Language for Biochemical Systems |
166
click to vote
ISW
2005
Springer
16 years 9 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
172
click to vote
IVA
2005
Springer
16 years 9 days ago
2005
Springer
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
167
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Object mobility is the basis for highly dynamic distributed applications. This paper presents the design and implementation of mobile objects on the basis of the CORBA standard. Ou...
200
click to vote
PERVASIVE
2005
Springer
16 years 9 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
150
click to vote
SAMOS
2005
Springer
16 years 9 days ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...