4460 search results - page 195 / 892 » Formal methods for interactive systems |
144
Voted
ACL
2003
15 years 5 months ago
2003
The development of multi-channel digital broadcasting has generated a demand not only for new services but also for smart and highly functional capabilities in all broadcast-relat...
167
click to vote
VISSOFT
2005
IEEE
15 years 9 months ago
2005
IEEE
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...
116
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
153
Voted
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
144
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...