2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769528260

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Filtering of XML Documents

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.7 ◽

2006 ◽

Cited By ~ 1

Author(s):

D. Ballis ◽

D. Romero

Keyword(s):

Xml Documents

Download Full-text

Mary Poppins and the Web of the Future: Search, Share, Social, Semantics, and Sugar

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.9 ◽

2006 ◽

Author(s):

Massimo Marchiori

Keyword(s):

Future Search ◽

The Future ◽

Social Semantics ◽

The Web

Download Full-text

Fixing Web Sites Using Correction Strategies

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.8 ◽

2006 ◽

Cited By ~ 2

Author(s):

D. Ballis ◽

D. Romero

Keyword(s):

Web Sites ◽

Correction Strategies

Download Full-text

WAEX: Web Accessibility Evaluator in a Single XSLT File

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.14 ◽

2006 ◽

Cited By ~ 2

Author(s):

Vicente Luque Centeno ◽

Carlos Delgado Kloos ◽

Martin Gaedke ◽

Martin Nussbaumer

Keyword(s):

Web Accessibility

Download Full-text

A Lightweight Web GUI Specification and Realisation System and Its Impact on Accessibility

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.4 ◽

2006 ◽

Author(s):

Roger Stone

Download Full-text

A Web-Based Runtime-Reconfigurable Role Management Service

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.5 ◽

2006 ◽

Cited By ~ 7

Author(s):

Martin Karusseit ◽

Tiziana Margaria

Keyword(s):

Management Service ◽

Web Based ◽

Role Management

Download Full-text

Modeling Interactions of Web Software

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.10 ◽

2006 ◽

Cited By ~ 7

Author(s):

Tevfik Bultan

Keyword(s):

Modeling Interactions

Download Full-text

Towards a Formal Framework for Developing Secure Web Services

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.13 ◽

2006 ◽

Author(s):

Ali Nasrat Haidar ◽

Ali E. Abdallah

Keyword(s):

Web Services ◽

Formal Framework

Download Full-text

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Title

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.2 ◽

2006 ◽

Keyword(s):

Specification And Verification ◽

Web Systems

Download Full-text

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Copyright

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) ◽

10.1109/wwv.2006.1 ◽

2006 ◽

Keyword(s):

Specification And Verification ◽

Web Systems

Download Full-text

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Filtering of XML Documents

Mary Poppins and the Web of the Future: Search, Share, Social, Semantics, and Sugar

Fixing Web Sites Using Correction Strategies

WAEX: Web Accessibility Evaluator in a Single XSLT File

A Lightweight Web GUI Specification and Realisation System and Its Impact on Accessibility

A Web-Based Runtime-Reconfigurable Role Management Service

Modeling Interactions of Web Software

Towards a Formal Framework for Developing Secure Web Services

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Title

2nd Int'l. Workshop on Automated Specification and Verification of Web Systems-Copyright

2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06)
Latest Publications