10707 search results - page 456 / 2142 » Designing executable abstractions |
150
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
196
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Recent technology trends have made radiationinduced soft errors a growing threat to the reliability of microprocessors, a problem previously only known to the aerospace i...
216
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
162
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
171
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...