8768 search results - page 316 / 1754 » Generalizing the notion of support |
197
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
229
click to vote
ENTCS
2000
15 years 7 months ago
2000
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
173
click to vote
EOR
2002
15 years 7 months ago
2002
Decision trees allow the modeling of event-dependent reasoning, but do not consider the dynamics of contextual changes in reasoning. In the framework of the SART project, which ai...
145
click to vote
INFSOF
2002
15 years 7 months ago
2002
Molecule-oriented programming is introduced as a programming style carrying some perspective for Java. A sequence of examples is provided. Supporting the development of the molecu...
185
Voted
RE
2008
Springer
15 years 7 months ago
2008
Springer
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...