6171 search results - page 601 / 1235 » The FrameNet Data and Software |
164
click to vote
COMPCON
1996
IEEE
15 years 11 months ago
1996
IEEE
An important objective of the MicroUnity mediaprocessor is to allow the design of systems that replace hardwired functionality with software. One of the key design techniques that...
163
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
149
click to vote
CSCW
1992
ACM
15 years 11 months ago
1992
ACM
Although talkhtg is an integral part of collaborative activity, there has been little computer support for acquiring and accessing the contents of conversations. Our approach has ...
161
click to vote
LCPC
1994
Springer
15 years 11 months ago
1994
Springer
We have recently introduced a new language, called Opus, which provides a set of Fortranlanguage extensions that allow for integrated support of task and data parallelism. It also...
190
Voted
TAPSOFT
1993
Springer
15 years 11 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...