274 search results - page 25 / 55 » The Maude Formal Tool Environment |
ACSD
2004
IEEE
14 years 1 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
CODES
2001
IEEE
14 years 1 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
CBSE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
This paper describes a new collaboration technology that is carefully poised between informal, ad hoc, easy-to-initiate collaborative tools, vs. more formal, structured, and higho...
CSCWD
2009
Springer
14 years 4 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...