Sciweavers

1393 search results - page 52 / 279
» From Models to Interactive Systems Tool Support and XIML
Sort
View
IWC
2000
81views more  IWC 2000»
15 years 6 months ago
Steps to take before intelligent user interfaces become real
Intelligent user interfaces have been proposed as a means to overcome some of the problems that directmanipulation interfaces cannot handle, such as: information overflow problems...
Kristina Höök
FGCS
2007
125views more  FGCS 2007»
15 years 6 months ago
An autonomic tool for building self-organizing Grid-enabled applications
In this paper we present CAMELotGrid, a tool to manage Grid computations of Cellular Automata that support the efficient simulation of complex systems modeled by a very large numb...
Gianluigi Folino, Giandomenico Spezzano
APSEC
1999
IEEE
15 years 10 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
RE
2006
Springer
15 years 6 months ago
Interaction Analysis in Aspect-Oriented Models
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Katharina Mehner, Mattia Monga, Gabriele Taentzer
SASO
2007
IEEE
16 years 14 days ago
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
Heiko Hamann, Heinz Wörn