3595 search results - page 331 / 719 » Roles of Program Extension |
158
click to vote
MMS
2002
15 years 6 months ago
2002
This paper offers a high-level retrospective overview of the GOPI middleware platform which is the outcome of a three year project aimed at the development of generic, configurabl...
152
click to vote
TOSEM
2002
15 years 6 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
199
click to vote
IGPL
2011
14 years 10 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
331
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
190
click to vote
ICFCA
2004
Springer
16 years 5 days ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...