2813 search results - page 283 / 563 » Formalizing Architectural Connection |
167
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents an integrated study on possible topological relationship between multidimensional simple objects in 0,1,2 and 3 D space. The formal categorisation of spatial r...
153
click to vote
APLAS
2000
ACM
15 years 11 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
278
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
185
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
194
click to vote
ARGMAS
2005
Springer
15 years 8 months ago
2005
Springer
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...