361 search results - page 55 / 73 » Characterization of Semantics for Argument Systems |
141
click to vote
GEOINFORMATICA
2008
15 years 3 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
120
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
120
Voted
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
119
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
111
click to vote
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...