Sciweavers

2250 search results - page 406 / 450
» Interactive Explanation of Software Systems
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 3 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
ISORC
2008
IEEE
14 years 3 months ago
On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles
The performance of autonomous vehicles could be drastically improved if ad-hoc networking and suitable real-time coordination is employed to optimize and improve the joint behavio...
Basil Becker, Holger Giese
ISMAR
2007
IEEE
14 years 3 months ago
Laser Pointer Tracking in Projector-Augmented Architectural Environments
We present a system that applies a custom-built pan-tilt-zoom camera for laser-pointer tracking in arbitrary real environments. Once placed in a building environment, it carries o...
Daniel Kurz, Ferry Hantsch, Max Grosse, Alexander ...
SIGCSE
2005
ACM
366views Education» more  SIGCSE 2005»
14 years 2 months ago
Using asynchronous discussions to enhance student participation in CS courses
As Computer Science (CS) educators, we are involved in teaching a variety of undergraduate and graduate courses such as database management systems, networking, software developme...
Bhagyavati, Stan Kurkovsky, Christopher C. Whitehe...
UIST
2004
ACM
14 years 2 months ago
Automatic projector calibration with embedded light sensors
Projection technology typically places several constraints on the geometric relationship between the projector and the projection surface to obtain an undistorted, properly sized ...
Johnny C. Lee, Paul H. Dietz, Dan Maynes-Aminzade,...