37 search results - page 8 / 8 » Bounded Analysis and Decomposition for Behavioural Descripti... |
SIGSOFT
2002
ACM
16 years 9 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
101
click to vote
DOCENG
2003
ACM
15 years 4 months ago
2003
ACM
This paper reports some experiments in using SVG (Scalable Vector Graphics), rather than the browser default of (X)HTML/CSS, as a potential Web-based rendering technology, in an a...