4743 search results - page 761 / 949 » The PlusCal Algorithm Language |
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
VLSI
2005
Springer
14 years 2 months ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
WRAC
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...