Sciweavers

5972 search results - page 807 / 1195
» Extending Design Environments to Software Architecture Desig...
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
UIST
2000
ACM
15 years 10 months ago
ToolStone: effective use of the physical manipulation vocabularies of input devices
The ToolStone is a cordless, multiple degree-of-freedom (MDOF) input device that senses physical manipulation of itself, such as rotating, flipping, or tilting. As an input device...
Jun Rekimoto, Eduardo Sciammarella
ATAL
2008
Springer
15 years 8 months ago
Cognitive agents with non-monotonic reasoning
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
Peter Novák
EHCI
2001
15 years 8 months ago
Exploring New Uses of Video with VideoSpace
Abstract. This paper describes videoSpace, a software toolkit designed to facilitate the integration of image streams into existing or new documents and applications to support new...
Nicolas Roussel
SERP
2003
15 years 8 months ago
3CoFramework: A Component-Based Framework for Distributed Applications
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
Shifeng Zhang, Steve Goddard