1422 search results - page 89 / 285 » Complementation in Abstract Interpretation |
147
click to vote
SPLC
2004
15 years 5 months ago
2004
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
139
click to vote
MASCOTS
2003
15 years 5 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
121
Voted
ECIS
2000
15 years 5 months ago
2000
Abstract- This paper presents the results from a multiplecase study of knowledge management systems (KM -systems) in practical use. A set of general problem areas concerning the in...
150
click to vote
DIAGRAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Diagrams often complement sentential proofs in mathematics. However, diagrams are rarely used as standalone reasoning tools. Thus we propose to integrate diagrammatic rea...
118
click to vote
APAL
2008
15 years 4 months ago
2008
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...