251 search results - page 31 / 51 » Towards an Advanced Modeling System Applying a Service-Based... |
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Recent technological advances have opened up several distributed real-time applications involving battery-driven embedded devices with local processing and wireless communication ...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
In this paper, we propose a new approach to automatically compose data providing Web services. Our approach exploits existing mature works done in data integration systems. Specif...
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
ICCSA
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. This paper describes how function-based shape modeling can be expanded to web visualization, as well as how web-based visualization can be greatly improved by using the f...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...