939 search results - page 43 / 188 » Semantic Abstraction and Quantum Computation |
HOA
1993
15 years 1 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
113
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
GI
2008
Springer
14 years 10 months ago
2008
Springer
Abstract: Especially data on social network services (SNS) is linked to online personas. Our analysis has shown that no reliably solution for origin authentication is in widespread...
BMCBI
2008
14 years 9 months ago
2008
ent> <title> <p>Highlights from the Fourth International Society for Computational Biology (ISCB) Student Council Symposium</p> </title> <editor>Lu...
ALP
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...