792 search results - page 98 / 159 » Interdisciplinary Design Research for End-User Software Engi... |
IUI
2004
ACM
15 years 3 months ago
2004
ACM
In this paper an approach for combining a focus+context visual data mining method with zoomable interfaces is shown. Therefore a zoomable interface for analysing structurable imag...
101
click to vote
FSTTCS
2000
Springer
15 years 1 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
EMSOFT
2003
Springer
2003
Springer
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
15 years 3 months ago
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...