7209 search results - page 1057 / 1442 » Software Engineering for Multi-Agent Systems |
106
Voted
JCDL
2004
ACM
15 years 8 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. ...
121
Voted
UIST
2004
ACM
15 years 8 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...
115
Voted
FOSSACS
2004
Springer
15 years 8 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...
119
click to vote
FSTTCS
2004
Springer
15 years 8 months 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...
118
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...