7209 search results - page 1057 / 1442 » Software Engineering for Multi-Agent Systems |
176
click to vote
JCDL
2004
ACM
16 years 28 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. ...
173
Voted
UIST
2004
ACM
16 years 28 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...
188
click to vote
FOSSACS
2004
Springer
16 years 27 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...
189
click to vote
FSTTCS
2004
Springer
16 years 27 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...
206
click to vote
FSTTCS
2004
Springer
16 years 27 days 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...