349 search results - page 40 / 70 » Issues and Methodology for Template Design for Information E... |
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
STTT
2010
13 years 6 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
ECBS
2009
IEEE
14 years 2 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
JTAER
2008
13 years 8 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
ACMIDC
2010
13 years 11 months ago
2010
Marginalization threatens basic issues of fairness and equal opportunity for a significant portion of children around the n this extended abstract, we frame the problem of margina...