3081 search results - page 329 / 617 » A Formal Ontology of Properties |
135
click to vote
CICLING
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Polarities are used to sanction grammar fragment combination in high level tree-based formalisms such as eXtenssible MetaGrammar (XMG) and polarized unification grammars...
150
click to vote
ESWS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
164
click to vote
FMCO
2007
Springer
16 years 27 days ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
171
click to vote
PEPM
2007
ACM
16 years 25 days ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
171
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...