30 search results - page 5 / 6 » Spatial and Behavioral Types in the Pi-Calculus |
CSB
2005
IEEE
13 years 11 months ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
ECSQARU
2005
Springer
13 years 11 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
SIGCOMM
1997
ACM
13 years 9 months ago
1997
ACM
We investigate how FEC (Forward Error Correction) can be combined with ARQ (Automatic Repeat Request) to achieve scalable reliable multicast transmission. We consider the two scen...
EUROPAR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
IWC
2007
13 years 5 months ago
2007
We motivate an approach to evaluating the utility of life-like interface agents that is based on human eye movements rather than questionnaires. An eye tracker is employed to obta...