Sciweavers

1713 search results - page 225 / 343
» Modeling and Engineering Adaptive Complex Systems
Sort
View
FASE
2003
Springer
14 years 2 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
IUI
2000
ACM
14 years 2 months ago
A task-based architecture for application-aware adjuncts
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...
Robert G. Farrell, Peter G. Fairweather, Eric Brei...
UIST
1997
ACM
14 years 1 months ago
Simplifying Component Development in an Integrated Groupware Environment
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
Mark Roseman, Saul Greenberg
FOSSACS
2008
Springer
13 years 11 months ago
The Microcosm Principle and Concurrency in Coalgebra
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
Ichiro Hasuo, Bart Jacobs, Ana Sokolova
PDC
2004
ACM
14 years 3 months ago
Socio-technical walkthrough: designing technology along work processes
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
Thomas Herrmann, Gabriele Kunau, Kai-Uwe Loser, Na...