4592 search results - page 265 / 919 » Framework for Studying Substitution |
171
click to vote
WLP
2005
Springer
16 years 26 days ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
196
click to vote
ICDCSW
2003
IEEE
16 years 21 days ago
2003
IEEE
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...
178
click to vote
GD
2001
Springer
15 years 12 months ago
2001
Springer
This paper studies the problem of computing an orthogonal drawing of a graph with labels along the edges. Labels are not allowed to overlap with each other or with edges to which t...
186
click to vote
DSVIS
2000
Springer
15 years 11 months ago
2000
Springer
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
170
click to vote
ECOOPW
1997
Springer
15 years 11 months ago
1997
Springer
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...