7380 search results - page 1087 / 1476 » Engineering Software Intensive Systems |
117
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
131
Voted
ECLIPSE
2004
ACM
15 years 10 months 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...
118
click to vote
JCDL
2004
ACM
15 years 10 months 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. ...
133
click to vote
UIST
2004
ACM
15 years 10 months 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...
128
click to vote
FOSSACS
2004
Springer
15 years 10 months 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...