660 search results - page 6 / 132 » Distributed Reactive XML |
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
RTCSA
1998
IEEE
13 years 11 months ago
1998
IEEE
FTRTFT
2000
Springer
13 years 11 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
We develop a theory of sorted bigraphical reactive systems. Every application of bigraphs in the literature has required an extension, a sorting, of pure bigraphs. In turn, every s...