Sciweavers

2036 search results - page 220 / 408
» A generic type-and-effect system
Sort
View
CSCW
2002
ACM
15 years 7 months ago
Clover architecture for groupware
In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan&...
Yann Laurillau, Laurence Nigay
EWC
2000
105views more  EWC 2000»
15 years 7 months ago
Design Families and Design Individuals
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
Xiao-Guang Shi, John S. Gero
APAL
1999
97views more  APAL 1999»
15 years 6 months ago
Coalgebraic Logic
Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviors of the system. A fundamental question...
Lawrence S. Moss
SAC
2002
ACM
15 years 6 months ago
Emergent situations in interactive storytelling
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
Marc Cavazza, Fred Charles, Steven J. Mead
212
Voted
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...