6171 search results - page 410 / 1235 » The FrameNet Data and Software |
143
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
229
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
210
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
151
click to vote
DEXA
1998
Springer
15 years 11 months ago
1998
Springer
For GIS, SGML document servers and other highly specialized application domains, the systems integration problem is essential since the available software often is complex and wou...
147
click to vote
FSE
1998
Springer
15 years 11 months ago
1998
Springer
The block cipher RC2 was designed in 1989 by Ron Rivest for RSA Data Security Inc. In this paper we describe both the cipher and preliminary attempts to use both differential and l...