34181 search results - page 6432 / 6837 » The Computer System GRAPHOGRAPH |
160
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
177
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...
177
Voted
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
Due to the increasing demands on efficiency, performance and flexibility reconfigurable computational architectures are very promising candidates in embedded systems design. Recent...
141
Voted
PODC
2010
ACM
15 years 10 months ago
2010
ACM
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
177
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...