457 search results - page 83 / 92 » Cross-Platform Software Reuse by Functional Integration Appr... |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
ICSOC
2003
Springer
14 years 1 months ago
2003
Springer
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
ICMS
2010
13 years 7 months ago
2010
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
LCTRTS
2010
Springer
14 years 3 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...