4075 search results - page 3 / 815 » Modeling Distributed Algorithm Using B |
107
Voted
ASM
2010
ASM
15 years 1 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
114
click to vote
PDPTA
2004
14 years 11 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...
87
Voted
OTM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The ongoing trend towards open data embraced by the Semantic Web has started to produce a large number of data sources. These data sources are published using RDF vocabul...
68
Voted
CVIU
2000
14 years 10 months ago
2000
90
Voted
MONET
2007
14 years 9 months ago
2007
IEEE 802.11b wireless networks and Bluetooth networks provide complimentary services using the same unlicensed radio frequency band. As the benefits of utilizing these services bec...