2152 search results - page 41 / 431 » An Abstract Account of Composition |
106
click to vote
RSP
1999
IEEE
15 years 4 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
104
click to vote
CAV
1998
Springer
15 years 4 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Data exchanges between Web services engaged in a composition raise several heterogeneities. In this paper, we address the problem of data cardinality heterogeneity in a c...
FUIN
2007
14 years 11 months ago
2007
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...