9974 search results - page 1343 / 1995 » Software Interconnection Models |
172
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...
216
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
213
click to vote
DAC
1992
ACM
15 years 11 months ago
1992
ACM
Designing instruction set processors and constructing their compilers are mutually dependent tasks. Piper is a high level synthesis tool of ADAS which controls the hardware-softwa...
161
click to vote
UIST
1993
ACM
15 years 11 months ago
1993
ACM
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
180
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...