1406 search results - page 240 / 282 » Information Flow in Systems with Schedulers |
UIST
2000
ACM
14 years 16 hour ago
2000
ACM
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...
FPGA
1997
ACM
13 years 11 months ago
1997
ACM
Configurable Computing Machines (CCMs) are an emerging class of computing platform which provide the computational performance benefits of ASICs, yet retain the flexibility and ra...
SIGGRAPH
1996
ACM
13 years 11 months ago
1996
ACM
This paper discusses a new method for capturing the complete appearanceof both synthetic and realworld objects andscenes,representing this information, and then using this represe...
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
ESOP
2010
Springer
13 years 11 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...