4075 search results - page 3 / 815 » Modeling Distributed Algorithm Using B |
ASM
2010
ASM
13 years 8 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...
PDPTA
2004
13 years 6 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...
OTM
2009
Springer
13 years 12 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...
CVIU
2000
13 years 5 months ago
2000
MONET
2007
13 years 5 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...