Sciweavers

3837 search results - page 578 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
IUI
2005
ACM
15 years 8 months ago
SmartCanvas: a gesture-driven intelligent drawing desk system
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
Zhenyao Mo, John P. Lewis, Ulrich Neumann
WWW
2005
ACM
15 years 8 months ago
Hera presentation generator
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
Flavius Frasincar, Geert-Jan Houben, Peter Barna
115
Voted
FASE
2005
Springer
15 years 8 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
OOPSLA
2005
Springer
15 years 8 months ago
PolyD: a flexible dispatching framework
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
Antonio Cunei, Jan Vitek
147
Voted
AOSD
2004
ACM
15 years 8 months ago
Association aspects
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayash...