1364 search results - page 222 / 273 » Comparative Branching-Time Semantics |
116
Voted
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
131
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
114
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
122
Voted
CCGRID
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— This paper presents an experimental evaluation of the latency performance of several implementations of Simple Object Access Protocol (SOAP) operating over HTTP, and co...
122
Voted
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...