2940 search results - page 285 / 588 » Relational Parametricity and Control |
160
click to vote
CAV
2004
Springer
16 years 2 days ago
2004
Springer
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
156
click to vote
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
194
click to vote
PET
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
157
click to vote
VLDB
2004
ACM
16 years 12 hour ago
2004
ACM
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
167
click to vote
CLADE
2003
IEEE
15 years 12 months ago
2003
IEEE
As Grids are emerging as the next-generation computing platform, the need for Web-based portals that hide low level details of accessing Grid services for deployment and execution ...