|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Data Model to Facilitate the Automation of Web Accessibility Evaluations |
Abou-Zahra, Shadi |
2006 |
157 | 2 |
p. 3-9 7 p. |
artikel |
|
| 2 | A Language for Verification and Manipulation of Web Documents |
Liquori, Luigi |
2006 |
157 | 2 |
p. 67-78 12 p. |
artikel |
|
| 3 | Anchoring Modularity in HTML |
Kirchner, Claude |
2006 |
157 | 2 |
p. 133-146 14 p. |
artikel |
|
| 4 | A Rule-based System for Web site Verification |
Ballis, D. |
2006 |
157 | 2 |
p. 11-17 7 p. |
artikel |
|
| 5 | Context Sequence Matching for XML |
Kutsia, Temur |
2006 |
157 | 2 |
p. 47-65 19 p. |
artikel |
|
| 6 | Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service |
Karusseit, Martin |
2006 |
157 | 2 |
p. 101-118 18 p. |
artikel |
|
| 7 | How Recent is a Web Document? |
Hu, Bo |
2006 |
157 | 2 |
p. 147-166 20 p. |
artikel |
|
| 8 | Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study |
Rioux, Frédéric |
2006 |
157 | 2 |
p. 119-132 14 p. |
artikel |
|
| 9 | Modeling Web Applications by the Multiple Levels of Integrity Policy |
Amato, G. |
2006 |
157 | 2 |
p. 167-185 19 p. |
artikel |
|
| 10 | Preface |
Alpuente, María |
2006 |
157 | 2 |
p. 1-2 2 p. |
artikel |
|
| 11 | Rewriting-Based Navigation of Web Sites: Looking for Models and Logics |
Lucas, Salvador |
2006 |
157 | 2 |
p. 79-85 7 p. |
artikel |
|
| 12 | Slicing XML Documents |
Silva, Josep |
2006 |
157 | 2 |
p. 187-192 6 p. |
artikel |
|
| 13 | Validating Scripted Web-Pages |
Stone, R.G. |
2006 |
157 | 2 |
p. 193-205 13 p. |
artikel |
|
| 14 | Verification of Web Services with Timed Automata |
Diaz, Gregorio |
2006 |
157 | 2 |
p. 19-34 16 p. |
artikel |
|
| 15 | Web Accessibility Evaluation Tools: A Survey and Some Improvements |
Luque Centeno, Vicente |
2006 |
157 | 2 |
p. 87-100 14 p. |
artikel |
|
| 16 | Web Categorisation Using Distance-Based Decision Trees |
Estruch, V. |
2006 |
157 | 2 |
p. 35-40 6 p. |
artikel |
|
| 17 | Web Verification: Perspective and Challenges |
Krishnamurthi, Shriram |
2006 |
157 | 2 |
p. 41-46 6 p. |
artikel |
|
| 18 | What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? |
Winckler, Marco |
2006 |
157 | 2 |
p. 207-211 5 p. |
artikel |
18 gevonden resultaten