Sciweavers

2272 search results - page 173 / 455
» A Calculus for
Sort
View
DOCENG
2010
ACM
15 years 1 months ago
Diffing, patching and merging XML documents: toward a generic calculus of editing deltas
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
Jean-Yves Vion-Dury
ENTCS
2010
65views more  ENTCS 2010»
15 years 1 months ago
Reasoning about QoS Contracts in the Probabilistic Duration Calculus
Dimitar P. Guelev, Dang Van Hung
FUIN
2010
101views more  FUIN 2010»
15 years 1 months ago
A Logic-Based, Reactive Calculus of Events
Federico Chesani, Paola Mello, Marco Montali, Paol...
IANDC
2010
125views more  IANDC 2010»
15 years 1 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
JMIS
2010
90views more  JMIS 2010»
14 years 11 months ago
The Role of Push-Pull Technology in Privacy Calculus: The Case of Location-Based Services
Heng Xu, Hock-Hai Teo, Bernard C. Y. Tan, Ritu Aga...