47 search results - page 1 / 10 » The Semantics of SPECTRUM |
HOA
1993
13 years 8 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
CACM
2006
13 years 4 months ago
2006
FUIN
2008
13 years 4 months ago
2008
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
WWW
2006
ACM
13 years 10 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
SECON
2010
IEEE
13 years 2 months ago
2010
IEEE
Wireless LANs have been widely deployed as edge access networks in home/office/commercial buildings, providing connection to the Internet. Therefore, performance of end-toend conne...