Sciweavers

1255 search results - page 4 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
MDM
2009
Springer
115views Communications» more  MDM 2009»
16 years 16 days ago
Design of P2Pnet: An Autonomous P2P Ad-Hoc Group Communication System
This paper proposes a MANET/VANET based group communication system, P2Pnet, to support the communication and information demand for mobile group users such as rescue teams in cata...
Yao-Nan Lien, Hung-Chin Jang, Tzu-Chieh Tsai
WWW
2007
ACM
16 years 6 months ago
Connecting the "bottom of the pyramid": an exploratory case study of india's rural communication environment
This paper is based on our exploratory study of a South Indian village in Chamrajanagar district of Karnataka. The study was to understand the rural communication environment and ...
Sarita Seshagiri, Sagar Aman, Dhaval Joshi
FLAIRS
2000
15 years 7 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
ISCAPDCS
2004
15 years 7 months ago
A Framework for Role-Based Access Control in Group Communication Systems
In this paper we analyze the requirements access control mechanisms must fulfill in the context of group communication and define a framework for supporting fine-grained access co...
Cristina Nita-Rotaru, Ninghui Li
ICDCS
1991
IEEE
15 years 9 months ago
Supporting the development of network programs
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
Bernd Bruegge, Peter Steenkiste