2181 search results - page 212 / 437 » Standard Software as Microworld |
148
Voted
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
114
click to vote
ASSETS
2004
ACM
15 years 6 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
129
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Interoperability is one of the main issues in creating a networked system of repositories The approaches range from simply forcing one metadata standard on all participating repos...
158
click to vote
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
110
Voted
AVI
2006
2006
Shakespeare's complete works as a benchmark for evaluating multiscale document navigation techniques
15 years 2 months ago
In this paper, we describe an experimental platform dedicated to the comparative evaluation of multiscale electronic-document navigation techniques. One noteworthy characteristic ...