295 search results - page 45 / 59 » Games and Definability for System F |
JCS
2008
13 years 8 months ago
2008
Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...
IOR
2008
13 years 8 months ago
2008
In many service industries, companies compete with each other on the basis of the waiting time their customers experience, along with the price they charge for their service. A fi...
SIGSOFT
2002
ACM
14 years 9 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
DBPL
1997
Springer
14 years 26 days ago
1997
Springer
Previous research on materialized views has primarily been in the context of flat relational databases--materialized views defined in terms of one or more flat relations. This pape...
IVS
2007
13 years 8 months ago
2007
At the first international Visualization Summit, more than 100 international researchers and practitioners defined and assessed nine original and important research goals in the c...