19 search results - page 3 / 4 » Automatic Translation from Circus to Java |
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
ICSE
2010
IEEE-ACM
13 years 3 months ago
2010
IEEE-ACM
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
AOSD
2010
ACM
14 years 4 days ago
2010
ACM
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...
CIKM
2008
Springer
13 years 7 months ago
2008
Springer
MetaMap is an online application that allows mapping text to UMLS Metathesaurus concepts, which is very useful interoperability among different languages and systems within the bi...