9842 search results - page 82 / 1969 » Compositional timing analysis |
KBS
2007
13 years 8 months ago
2007
Algorithmic composition of musical pieces is one of the most popular areas of computer aided music research. Various attempts have been made successfully in the area of music comp...
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
COORDINATION
2007
Springer
14 years 3 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
ICWS
2008
IEEE
13 years 10 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
TCC
2010
Springer
13 years 6 months ago
2010
Springer
We revisit the composability of different forms of zero-knowledge proofs when the honest prover strategy is restricted to be polynomial time (given an appropriate auxiliary input)...