9006 search results - page 1376 / 1802 » Modeling Software |
168
click to vote
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
161
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
179
click to vote
AC
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
130
click to vote
IUI
1993
ACM
15 years 10 months ago
1993
ACM
The goal of this paper is to model an agent who dislikes large choice sets because of the “cost of thinking” involved in choosing from them. We take as a primitive a preferenc...
160
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
: User interfaces are often based on static presentations, a model ill suited for conveying change. Consequently, events on the screen frequently startle and confuse users. Cartoon...