732 search results - page 25 / 147 » A Formal Model of Provenance in Distributed Systems |
117
click to vote
MMB
2010
Springer
14 years 11 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
101
click to vote
ENTCS
2008
14 years 9 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
ERSHOV
2003
Springer
15 years 2 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...