1393 search results - page 16 / 279 » From Models to Interactive Systems Tool Support and XIML |
FLAIRS
2006
15 years 1 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...
FORTE
2009
14 years 9 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...
DSVIS
2008
Springer
15 years 1 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...
CHIMIT
2009
ACM
15 years 6 months 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...
115
click to vote
FASE
2004
Springer
15 years 5 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...