798 search results - page 44 / 160 » Statecharts as Protocols for Objects |
102
click to vote
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
In this report, we will provide the detailed theoretical analysis including some omitted proofs in our latest submission to Infocom 2008. For more details about the framework prot...
ISPDC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents MojaveFS, a distributed file system with support for sequential consistency. It provides location transparency and makes use of replication for reliability an...
108
click to vote
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
ENTCS
2006
14 years 11 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
IJIPT
2007
14 years 11 months ago
2007
: We propose to extend standard Radio Frequency IDentification (RFID) usage by storing semantically annotated data within RFID tags memory, so that objects may actually ‘describ...