10666 search results - page 1390 / 2134 » Quantum programming languages |
220
click to vote
IDEAS
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper describes an evolution framework supporting customisation of the schema evolution and instance adaptation approaches in an object database management system. The framew...
228
Voted
LICS
2003
IEEE
16 years 21 days ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
161
click to vote
APLAS
2003
ACM
16 years 20 days ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
173
click to vote
APN
2003
Springer
16 years 20 days ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
189
click to vote
CC
2003
Springer
16 years 20 days ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...