Sciweavers

3275 search results - page 388 / 655
» Issues in Communication Game
Sort
View
FORTE
2007
15 years 8 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat
PST
2008
15 years 8 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
SEBD
2008
127views Database» more  SEBD 2008»
15 years 8 months ago
Service-oriented Semantic Collaboration in Distributed Information Systems
Collaborative information systems in a P2P scenario are characterized by a set of independent peers that dynamically need to cooperate by sharing data and services. For effective c...
Devis Bianchini, Valeria De Antonellis, Michele Me...
MMS
2007
15 years 8 months ago
Exploring the Concept of Mobile Viral Marketing through Case Study Research
: Mobile viral marketing has a tremendous potential for communication and distribution purposes. Although seen as an important issue from the viewpoint of practitioners there has b...
Dietmar G. Wiedemann
WICON
2008
15 years 8 months ago
Programming in mobile ad hoc networks
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
Justin Collins, Rajive Bagrodia