Sciweavers

3040 search results - page 205 / 608
» Synergetic Tool Environments
Sort
View
CORR
2011
Springer
133views Education» more  CORR 2011»
14 years 8 months ago
An Extended Framework for Measuring the Information Capacity of the Human Motor System
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...
Teemu Roos, Antti Oulasvirta
DSS
2011
14 years 8 months ago
A multi-objective optimization for green supply chain network design
: We study a new supply chain network design problem with environmental concerns. We are interested in the environmental investments decisions in the design phase and propose a mul...
Fan Wang, Xiaofan Lai, Ning Shi
CSCWD
2009
Springer
15 years 11 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
FSTTCS
2007
Springer
15 years 11 months ago
Safely Composing Security Protocols
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
Véronique Cortier, Jérémie De...
133
Voted
IVA
2007
Springer
15 years 11 months ago
Towards Fast Prototyping of IVAs Behavior: Pogamut 2
We present the platform for IVAs development in the human like environment of the first-person shooter game Unreal Tournament 2004. This environment is extendible and supported by ...
Ondrej Burkert, Rudolf Kadlec, Jakub Gemrot, Micha...