Sciweavers

Share
4196 search results - page 1 / 840
» Modeling Distributed Algorithm Using B
Sort
View
GCC
2003
Springer
9 years 7 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
B
2007
Springer
9 years 8 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
SIGSOFT
2006
ACM
10 years 3 months ago
Local analysis of atomicity sphere for B2B collaboration
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu
WWW
2001
ACM
10 years 3 months ago
A License Management Model to Support B2C and C2C Music Sharing
Digital Rights Management (DRM) technology ensures protection of rights on distributed music over the Internet. Existing DRM systems emphasize the protection on Businessto-Consume...
Sai Ho Kwok, Siu Man Lui
ICCS
2005
Springer
9 years 8 months ago
Data-Parallel Method for Georeferencing of MODIS Level 1B Data Using Grid Computing
Georeference is a basic function of remote sensing data processing. Geo-corrected remote sensing data is an important source data for Geographic Information Systems (GIS) and other...
Yincui Hu, Yong Xue, Jiakui Tang, Shaobo Zhong, Gu...
books