|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 15 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
121 | Christian Nentwich, Licia Capra, Wolfgang Emmerich, Anthony Finkelstein |
xlinkit: a consistency checking and smart link generation service. |
ACM Trans. Internet Techn. |
2002 |
DBLP DOI BibTeX RDF |
XML, Consistency management, constraint checking, automatic link generation |
74 | Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer |
Flexible consistency checking. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
CASE tools, consistency management, multiple perspectives, constraint checking |
74 | Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal |
Consistency Checking of Financial Derivatives Transactions. |
NetObjectDays |
2002 |
DBLP DOI BibTeX RDF |
|
74 | Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein |
Static Consistency Checking for Distributed Specifications. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Luciano Baresi, Carlo Ghezzi, Sam Guinea |
Smart monitors for composed services. |
ICSOC |
2004 |
DBLP DOI BibTeX RDF |
pre- and post-conditions, xlinkIt, quality of service, web services, monitoring, composition, exception handling, BPEL, NET, functional requirements |
25 | Claudio Sacerdoti Coen, Paolo Marinelli, Fabio Vitali |
Schemapath, a minimal extension to xml schema for conditional constraints. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
co-constraints, schema languages, schemapath, xml |
25 | Shimon Rura, Barbara Staudt Lerner |
Flexible Static Semantic Checking Using First-Order Logic. |
EWSPT |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|