10666 search results - page 1841 / 2134 » Quantum programming languages |
135
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
130
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
146
click to vote
APSEC
1999
IEEE
15 years 9 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
111
Voted
CANDC
1999
ACM
15 years 9 months ago
1999
ACM
Traditionally, the notion of home crafting connotes the use of "low-tech" materials and techniques; but increasingly, the once-distinct worlds of crafting and computatio...
121
click to vote
HPDC
1999
IEEE
15 years 9 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....