Sciweavers

4286 search results - page 357 / 858
» Formalizing Service Interactions
Sort
View
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 11 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu
CORR
2011
Springer
358views Education» more  CORR 2011»
15 years 1 months ago
Time-Varying Graphs and Social Network Analysis: Temporal Indicators and Metrics
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...
Nicola Santoro, Walter Quattrociocchi, Paola Flocc...
MOBILITY
2009
ACM
16 years 1 months ago
Mobile visual access to legacy voice-based applications
Vocal systems are a well-established reality. Examples of popular voice-based applications include helpdesk services, reservation systems, and vocal mailboxes. These services, tha...
Marco Avvenuti, Alessio Vecchio
DSN
2000
IEEE
15 years 11 months ago
Implementing Flexible Object Group Invocation in Networked Systems
Distributed applications should be able to make use of an object group service in a number of application specific ways. Three main modes of interactions can be identified: (i) re...
Graham Morgan, Santosh K. Shrivastava
FC
2006
Springer
108views Cryptology» more  FC 2006»
15 years 10 months ago
Uncheatable Reputation for Distributed Computation Markets
Reputation systems aggregate mutual feedback of interacting peers into a "reputation" metric for each participant. This is then available to prospective service "req...
Bogdan Carbunar, Radu Sion