431 search results - page 47 / 87 » Using Formal Methods to Reason about Architectural Standards |
102
click to vote
MBEES
2010
15 years 1 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
137
click to vote
ICWS
2004
IEEE
15 years 1 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...
ISOLA
2010
Springer
14 years 10 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
127
click to vote
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
ASWEC
2010
IEEE
15 years 11 hour ago
2010
IEEE
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...