116 search results - page 6 / 24 » Model Synthesis from Imprecise Specifications |
74
Voted
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
TSE
1998
14 years 9 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
57
Voted
ICIAP
1997
ACM
15 years 1 months ago
1997
ACM
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
75
Voted
TSD
2005
Springer
15 years 3 months ago
2005
Springer
Transferring a structure from the visual modality to the aural one presents a difficult challenge. In this work we are experimenting with prosody modeling for the synthesized speec...
111
click to vote
APCCM
2009
14 years 10 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...