746 search results - page 58 / 150 » Formal Analysis of UML-Based Designs |
108
click to vote
IPL
2002
15 years 1 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
109
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Early power analysis for systems-on-chip (SoC) is crucial for determining the appropriate packaging and cost. This early analysis commonly relies on evaluating power formulas for ...
108
click to vote
ISER
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
106
click to vote
AAAI
1990
15 years 3 months ago
1990
To design a task-independent dialogue system, we present a task-oriented dialogue analysis in terms of finding the referents of definite descriptions and we show how this analysis...
IEE
2008
15 years 1 months ago
2008
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...