11168 search results - page 324 / 2234 » Abstract State Processes |
184
click to vote
TCAD
2008
15 years 7 months ago
2008
Abstract--Advances in very large-scale integration technology make clock skew more susceptible to process variations. Notwithstanding efficient exact zero-skew algorithms, clock sk...
240
click to vote
IFIPTCS
2010
15 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
169
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
188
click to vote
NOLISP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Natural speech is produced by the vocal organs of a particular talker. The acoustic features of the speech signal must therefore be correlated with the movements of the a...
152
click to vote
BTW
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. So far only few performance studies on parallel object-relational database systems are available. In particular, the relative performance of relational vs. reference-base...