1766 search results - page 192 / 354 » A Distributed Communication System for Integration with Logi... |
131
Voted
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
117
click to vote
HRI
2006
ACM
15 years 10 months ago
2006
ACM
In order for humans and robots to work effectively together, they need to be able to converse about abilities, goals and achievements. Thus, we are developing an interaction infr...
166
Voted
AOSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
125
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
149
click to vote
PDP
2010
IEEE
15 years 8 months ago
2010
IEEE
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...