2844 search results - page 155 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
143
Voted
SIGGRAPH
1989
ACM
15 years 9 months ago
1989
ACM
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
130
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
138
click to vote
ISADS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
146
Voted
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
128
Voted
TACAS
1997
Springer
15 years 9 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...