4914 search results - page 402 / 983 » Arbitration of a help system |
198
click to vote
ICCS
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a mobile Augmented Reality (AR) system called the SitePack supporting architects in visualizing 3D models in real-time on site. We describe how vision based fea...
162
click to vote
ICSR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Designing systems of asynchronous web services is challenging. Addressing the design in terms of component reuse helps address important questions that need to be answere...
179
click to vote
IEAAIE
2004
Springer
16 years 6 days ago
2004
Springer
A fundamental difficulty faced by cooperative multiagent systems is to find how to efficiently coordinate agents. There are three fundamental processes to solve the coordination pr...
184
click to vote
IFIP
2004
Springer
16 years 6 days ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
151
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...