498 search results - page 8 / 100 » A Formal Foundation for XrML |
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper we present and discuss a meta-ontological archifor ontologies which centers on abstract core ontologies (ACOs). s the most abstract part of a foundational o...
RWEB
2009
Springer
15 years 4 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
PTS
2010
14 years 8 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
We present a game-theoretic foundation for gene regulatory analysis based on the recent formalism of rewriting game theory. Rewriting game theory is discrete and comes with a graph...