4755 search results - page 856 / 951 » An Implementation Model for Collaborative Applications |
152
click to vote
GLVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
146
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
133
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
130
click to vote
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
As the number of resources on the Grid tends to be very dynamic and potentially large, it becomes increasingly important to discover and monitor them efficiently. This paper conce...
142
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Previous work proposed a technique for predicting problems resulting from replacing one version of a software component by another. The technique reports, before performing the rep...