7380 search results - page 1087 / 1476 » Engineering Software Intensive Systems |
148
click to vote
FSTTCS
2005
Springer
16 years 12 days 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...
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...