3828 search results - page 505 / 766 » Proof-Based System Engineering Using a Virtual System Model |
166
click to vote
ISPASS
2005
IEEE
16 years 17 days ago
2005
IEEE
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
193
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...
179
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
152
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
The increased use of software product lines (SPLs) results in complex software systems in which products of multiple SPLs communicate and interact with each other. Such a system of...
204
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...