|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards verifying contract regulated service composition.  |
Autonomous Agents and Multi-Agent Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter |
Runtime Monitoring of Contract Regulated Web Services. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki, Wojciech Penczek, Maciej Szreter |
Runtime monitoring of contract regulated web services. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki |
Towards an Agent Based Approach for Verification of OWL-S Process Models. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Monika Solanki |
Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach. |
AINA Workshops |
2009 |
DBLP DOI BibTeX RDF |
MCMAS, web services, semantic web, Model Checking, verification |
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards verifying compliance in agent-based web service compositions. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Monika Solanki |
Towards Verifying Contract Regulated Service Composition. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Monika Solanki |
Verifying Temporal and Epistemic Properties of Web Service Compositions. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Monika Solanki, Antonio Cau, Hussein Zedan |
Temporal Reasoning Of Reactive Web Services. |
Semantic Web Services, Processes and Applications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | 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 |
| 1 | David L. Martin, Massimo Paolucci, Sheila A. McIlraith, Mark H. Burstein, Drew V. McDermott, Deborah L. McGuinness, Bijan Parsia, Terry R. Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, Katia P. Sycara |
Bringing Semantics to Web Services: The OWL-S Approach. |
SWSWPC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Monika Solanki, Antonio Cau, Hussein Zedan |
Introducing Compositionality in Web Service Descriptions. |
FTDCS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")