1757 search results - page 154 / 352 » Integrating and Extending JCSP |
RULEML
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
ASIAMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
How dependability is to be assessed and ensured during Web Service operation and how unbiased and trusted mechanisms supporting this are to be developed are still open issues. Thi...