1092 search results - page 33 / 219 » aims 2009 |
153
click to vote
ASWC
2009
Springer
15 years 4 months ago
2009
Springer
Semantic Web Services (SWS) aim at the automated discovery and orchestration of Web services on the basis of comprehensive, machine-interpretable semantic descriptions. Since SWS a...
MKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
PETRA
2009
ACM
15 years 4 months ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
SBMF
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
89
Voted
CANDT
2009
15 years 1 months ago
2009
The aim of the paper is twofold: i) understanding how to provide additional information that is reflective of current organizational context in knowledge production and use; ii) p...