5334 search results - page 127 / 1067 » Communicating quantum processes |
173
click to vote
FDL
2006
IEEE
16 years 12 days 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...
157
click to vote
WOSP
2005
ACM
15 years 12 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...
155
click to vote
DSN
2003
IEEE
15 years 11 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...
178
click to vote
GW
1999
Springer
15 years 10 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...
178
click to vote
KBSE
1994
IEEE
15 years 10 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 ...