Sciweavers

798 search results - page 13 / 160
» Statecharts as Protocols for Objects
Sort
View
IJNSEC
2008
190views more  IJNSEC 2008»
14 years 11 months ago
Probabilistic Analysis and Verification of the ASW Protocol using PRISM
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
Salekul Islam, Mohammad Abu Zaid
JISE
2000
56views more  JISE 2000»
14 years 11 months ago
Quorum-Based Replication in Object-Based Systems
methods. If a pair of methods op1 and op2 are compatible, the summation of the quorum numbers of op1 and op2 can be smaller than the number of replicas in the QOL protocol even if ...
Katsuya Tanaka, Kyoji Hasegawa, Makoto Takizawa
103
Voted
ATC
2008
Springer
15 years 1 months ago
Annotation Markers for Runtime Replication Protocol Selection
This paper presents an architecture enabling developers to easily and flexibly assign replication protocols simply by annotating individual server methods. This avoids using costly...
Hein Meling
OOPSLA
2007
Springer
15 years 5 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
76
Voted
CAI
2004
Springer
14 years 11 months ago
On the Use of the Choquet Integral for the Collaborative Creation of Learning Objects
Abstract. Computer-supported collaborative knowledge creation is the continuous process of development of knowledge assets, where produced knowledge has to be assessed by the devel...
Juan Manuel Dodero, Miguel-Ángel Sicilia, C...