|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Calculus for Generation, Verification and Refinement of BPEL Specifications |
Abouzaid, Faisal |
2008 |
200 | 3 |
p. 43-65 23 p. |
artikel |
|
| 2 | Algebraic Structure of Web Services |
Höfner, Peter |
2008 |
200 | 3 |
p. 171-187 17 p. |
artikel |
|
| 3 | An RDF Query Language based on Logic Programming |
Almendros-Jiménez, Jesús M. |
2008 |
200 | 3 |
p. 67-85 19 p. |
artikel |
|
| 4 | Constructing Formally Verified Reasoners for the ALC Description Logic |
Hidalgo, M.J. |
2008 |
200 | 3 |
p. 87-102 16 p. |
artikel |
|
| 5 | Controlling Control Flow in Web Applications |
Message, Robin |
2008 |
200 | 3 |
p. 119-131 13 p. |
artikel |
|
| 6 | Coupled Transformation of Schemas, Documents, Queries, and Constraints |
Visser, Joost |
2008 |
200 | 3 |
p. 3-23 21 p. |
artikel |
|
| 7 | Formal Verification of Websites |
Flores, Sonia |
2008 |
200 | 3 |
p. 103-118 16 p. |
artikel |
|
| 8 | Preface |
Ballis, Demis |
2008 |
200 | 3 |
p. 1-2 2 p. |
artikel |
|
| 9 | Reduction Semantics and Formal Analysis of Orc Programs |
AlTurki, Musab |
2008 |
200 | 3 |
p. 25-41 17 p. |
artikel |
|
| 10 | Service Discovery and Negotiation With COWS |
Lapadula, Alessandro |
2008 |
200 | 3 |
p. 133-154 22 p. |
artikel |
|
| 11 | Timed Specification For Web Services Compatibility Analysis |
Guermouche, Nawal |
2008 |
200 | 3 |
p. 155-170 16 p. |
artikel |
11 gevonden resultaten