1226 search results - page 203 / 246 » Proofs, Programs and Abstract Complexity |
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
ASSETS
2004
ACM
15 years 5 months ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
102
click to vote
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...
SIGADA
2001
Springer
15 years 4 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
110
click to vote
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...