2682 search results - page 366 / 537 » An Iterative-Cyclic Software Process Model |
103
Voted
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
123
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
136
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
137
Voted
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
116
Voted
IUI
2003
ACM
15 years 7 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...