1393 search results - page 16 / 279 » From Models to Interactive Systems Tool Support and XIML |
157
click to vote
FLAIRS
2006
15 years 7 months ago
2006
The project MediaFlies implements an interactive multiagent system that incorporates flocking and synchronization in order to generate a constantly changing visual output. It reli...
154
click to vote
FORTE
2009
15 years 3 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
157
click to vote
DSVIS
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
158
click to vote
CHIMIT
2009
ACM
16 years 14 days ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
187
click to vote
FASE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...