Sciweavers

IJCAI
2007
14 years 1 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang
GD
2000
Springer
14 years 4 months ago
GraphXML - An XML-Based Graph Description Format
GraphXML is a graph description language in XML that can be used as an interchange format for graph drawing and visualization packages. The generality and rich features of XML mak...
Ivan Herman, M. Scott Marshall
APN
2003
Springer
14 years 4 months ago
The Petri Net Markup Language: Concepts, Technology, and Tools
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
Jonathan Billington, Søren Christensen, Kee...
ELPUB
2000
ACM
14 years 4 months ago
XML: Using an Evolving Standard in Electronic Publishing
XML is the proposed electronic publishing and data interchange format of the future. Currently XML is immature with little tool support, particularly for end-user World Wide Web br...
Ann Apps, Ross MacIntyre
HYBRID
2005
Springer
14 years 6 months ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
RULEML
2009
Springer
14 years 7 months ago
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
Abstract. In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR...
Thomas F. Gordon, Guido Governatori, Antonino Roto...