1457 search results - page 194 / 292 » Extending Time Management Support for Multi-agent Systems |
114
click to vote
SAINT
2006
IEEE
15 years 10 months ago
2006
IEEE
– In support of continuously increasing line rates and various Internet services, multiprocessor-based linecards have appeared in next-generation routers, significantly improving...
131
Voted
WSCG
2000
15 years 5 months ago
2000
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...
138
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
User interfaces and information systems have become increasingly social in recent years, aimed at supporting the decentralized, cooperative production and use of content. A theory...
146
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
112
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...