2373 search results - page 275 / 475 » On the Theory of Structural Subtyping |
144
click to vote
RE
2005
Springer
16 years 4 days ago
2005
Springer
View merging is an important activity in any conceptual modeling language. It is often desirable to combine a set of views to gain a unified perspective, to test hypotheses about...
157
click to vote
RULEML
2005
Springer
16 years 4 days ago
2005
Springer
Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Log...
161
click to vote
SIGADA
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
177
click to vote
WABI
2005
Springer
16 years 4 days ago
2005
Springer
—We propose new algorithms for computing pairwise rearrangement scenarios that conserve the combinatorial structure of genomes. More precisely, we investigate the problem of sort...
129
click to vote
COMPGEOM
2004
ACM
16 years 3 days ago
2004
ACM
We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are...