811 search results - page 75 / 163 » Integrating Formal Description Techniques |
109
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
104
click to vote
WWW
2004
ACM
16 years 15 days ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
116
click to vote
ISEMANTICS
2010
14 years 10 months ago
2010
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
BMCBI
2008
14 years 12 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...
WWW
2007
ACM
16 years 15 days ago
2007
ACM
Scholarly entities, such as articles, journals, authors and institutions, are now mostly ranked according to expert opinion and citation data. The Andrew W. Mellon Foundation fund...