|
Results
Found 4306 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 16 | P. David Stotts, Jaime Navon |
Model checking cobweb protocols for verification of HTML frames behavior.  |
WWW  |
2002 |
DBLP DOI BibTeX RDF |
literary hypertext, model checking, verification, temporal logic, HTML, formal semantics, frames, browsing semantics |
| 9 | Chuming Chen, Manton M. Matthews |
Extending Description Logic for Reasoning about Ontology Evolution. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 7 | Monika Solanki, Antonio Cau, Hussein Zedan |
ASDL: a wide spectrum language for designing web services. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
ASDL, wide spectrum, web services, computational model |
| 7 | Monika Solanki, Antonio Cau, Hussein Zedan |
Augmenting semantic web service descriptions with compositional specification. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
owl-s, web services, semantic web services, commitment, assumption, swrl, interval temporal logics, owl |
| 6 | Sudhir Agarwal 0001 |
A Goal Specification Language for Automated Discovery and Composition of Web Services. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 5 | Hongbing Wang, Hui Liu, Chen Wang, Patrick C. K. Hung |
A New Approach to Describe Web Services. |
Web Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 5 | Alessandro Campi, Paola Spoletini |
A framework for XML data streams history checking and monitoring. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
XML, verification, semi-structured data |
| 5 | Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen |
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. |
EKAW |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (20 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license