5334 search results - page 127 / 1067 » Communicating quantum processes |
135
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
125
Voted
WOSP
2005
ACM
15 years 9 months ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...
120
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Reliable point-to-point communication is usually achieved in overlay networks by applying TCP/IP on the end nodes of a connection. This paper presents an hopby-hop reli...
132
Voted
GW
1999
Springer
15 years 7 months ago
1999
Springer
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...
140
Voted
KBSE
1994
IEEE
15 years 7 months ago
1994
IEEE
Research in knowledge-based software engineering has led to advances in the ability to specify and automatically generate software. Advances in the support of upstream activities ...