8623 search results - page 1319 / 1725 » Software engineering for secure systems |
165
click to vote
ECLIPSE
2004
ACM
16 years 9 days ago
2004
ACM
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
153
click to vote
JCDL
2004
ACM
16 years 9 days ago
2004
ACM
In this paper, we describe an experiment in combined searching of web pages and digital library resources, exposed via an Open Archives metadata provider and web gateway service. ...
156
Voted
UIST
2004
ACM
16 years 8 days ago
2004
ACM
Despite novel interaction techniques proposed for virtual desktops, common yet challenging tasks remain to be investigated. Dragging and dropping between overlapping windows is on...
173
Voted
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
170
Voted
FSTTCS
2004
Springer
16 years 7 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...