10462 search results - page 376 / 2093 » Towards |
189
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
170
click to vote
ER
2004
Springer
16 years 7 days ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
183
click to vote
ERCIMDL
2004
Springer
16 years 7 days ago
2004
Springer
We address the issue of providing topic driven access to full text documents. The methodology we propose is a combination of topic segmentation and information retrieval techniques...
166
click to vote
ERCIMDL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
159
click to vote
ESORICS
2004
Springer
16 years 7 days ago
2004
Springer
d Abstract) James Aspnes , Joan Feigenbaum , Aleksandr Yampolskiy † , and Sheng Zhong ‡ Department of Computer Science, Yale University, New Haven CT 06520-8285, USA Abstract. ...