1237 search results - page 53 / 248 » Strictness and Totality Analysis |
162
click to vote
ANSS
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider a traffic-groomed optical network consisting of N nodes arranged in tandem. This optical network is modeled by a tandem queueing network of multi-rate loss queues with...
149
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
The paper describes the representation and use of three ontologies in a software aiming at the assistance of a virtual team in business process analysis and improvement (BPI), usin...
161
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
187
click to vote
INFOCOM
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes the performance analysis of a class of two-connected multihop shuflenets, known as generalized shufle networks. The topology of such networks is described mat...
125
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
Mining software repositories for bug detection requires accurate techniques of identifying bug-fix revisions. There have been many researches to find exact bug-fix revisions. Howe...