Sciweavers

1438 search results - page 1 / 288
» An Expressive Extension of TLC
Sort
View
ASIAN
1999
Springer
97views Algorithms» more  ASIAN 1999»
13 years 8 months ago
An Expressive Extension of TLC
Jesper G. Henriksen
FORMATS
2008
Springer
13 years 5 months ago
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
The common metric temporal logics for continuous time were shown to be insufficient, when it was proved in [7, 12] that they cannot express a modality suggested by Pnueli. Moreover...
Alexander Rabinovich
SIGMOD
2004
ACM
156views Database» more  SIGMOD 2004»
14 years 3 months ago
Tree Logical Classes for Efficient Evaluation of XQuery
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...
Stelios Paparizos, Yuqing Wu, Laks V. S. Lakshmana...
ISOLA
2010
Springer
13 years 2 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
Anders P. Ravn, Jirí Srba, Saleem Vighio
JSAC
2011
144views more  JSAC 2011»
12 years 6 months ago
Time and Location-Critical Emergency Message Dissemination for Vehicular Ad-Hoc Networks
—One promise of Vehicular Ad-hoc Networks (VANET) is to considerably increase road safety and travel comfort by enabling inter-vehicle communications. Among a vast array of poten...
Yanyan Zhuang, Jianping Pan, Yuanqian Luo, Lin Cai