3514 search results - page 583 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
FSEN
2009
Springer
15 years 8 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 ...
115
Voted
CODES
2007
IEEE
15 years 8 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...
127
click to vote
UML
2005
Springer
15 years 7 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...
130
Voted
CODES
2003
IEEE
15 years 7 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....
109
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...