1323 search results - page 86 / 265 » Extended Modeling Languages for Interaction Protocol Design |
103
click to vote
TLCA
1997
Springer
15 years 7 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...
129
Voted
AVI
2008
15 years 6 months ago
2008
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
114
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
123
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
137
click to vote
VISUALIZATION
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe a method for volume rendering using a spectral representation of colour instead of the traditional RGB model. It is shown how to use this framework for a novel explora...