807 search results - page 98 / 162 » Modeling Hybrid Domains Using Process Description Language |
138
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
113
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
124
click to vote
DOCENG
2005
ACM
15 years 5 months ago
2005
ACM
Scalable Vector Graphics (SVG) has an imaging model similar to that of PostScript and PDF but the XML basis of SVG allows it to participate fully, via namespaces, in generalised X...
155
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
153
click to vote
JSW
2006
15 years 3 months ago
2006
Web Services are considered as a dominant paradigm for constructing and composing distributed business application and enabling enterprise-wide interoperability. A peer to peer arc...