554 search results - page 97 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
MSR
2010
ACM
14 years 17 days ago
2010
ACM
Abstract—Development mailing lists play a central role in facilitating communication in open source projects. Since these lists frequently host design and project discussions, kn...
EUROPAR
2007
Springer
13 years 11 months ago
2007
Springer
Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simplycomposed skeleton program often l...
EL
2008
13 years 7 months ago
2008
Purpose: Examines the needs of digital library stakeholders and how a collaborative digital library might be designed to meet these needs. The collaborative digital library has be...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—WiFi-enabled buses and stops may form the backbone of a metropolitan delay tolerant network, that exploits nearby communications, temporary storage at stops, and predict...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—This paper presents the first analytical study of optimal investment and pricing decisions of a cognitive mobile virtual network operator (C-MVNO) under spectrum supply...