1054 search results - page 46 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
181
click to vote
SMILE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
159
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
143
click to vote
ISF
2002
15 years 5 months ago
2002
Software agent-based negotiation is a major method to automate the interactions in electronic marketplaces and Internet enabled communities. The traditional approach is to let the...
160
click to vote
CSFW
1999
IEEE
15 years 10 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
173
click to vote
CMMR
2007
Springer
16 years 3 days ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...