Sciweavers

8496 search results - page 451 / 1700
» Problem Solving and Complex Systems
Sort
View
IADIS
2003
15 years 8 months ago
Mobile Data Sharing and Collaboration
Problems of data retrieval and collaborative work in mobile environment are introduced. System architecture of a system solving these problems is introduced and described. A short...
Martin Klíma, Zdenek Mikovec, Pavel Slav&ia...
HCI
2007
15 years 8 months ago
Paper Metaphor for Tabletop Interaction Design
The aim of this paper is to explore new metaphors for interaction design on tabletop system. Tabletop systems are shared horizontal surface for co-located collaboration, which lead...
Guillaume Besacier, Gaëtan Rey, Marianne Najm...
SIMVIS
2000
15 years 8 months ago
Vector Field Visualization on the Internet
We discuss the problems to be solved to develop a web-based vector field visualization system. Furthermore we present the system CurVis as one solution of these problems. As part ...
Uwe Rauschenbach, Holger Theisel, C. Perez Risquet...
CSL
2006
Springer
15 years 7 months ago
Infinite State Model-Checking of Propositional Dynamic Logics
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
Stefan Göller, Markus Lohrey
SAC
1999
ACM
15 years 11 months ago
Evolving Hypermedia Middleware Services: Lessons and Observations
In this paper, we consider the evolution of hypermedia system architectures from the monolithic systems of the 1980’s to the middleware-oriented component-based open systems of ...
Uffe Kock Wiil, Peter J. Nürnberg