1284 search results - page 124 / 257 » Abstract Processes in Orchestration Languages |
133
click to vote
AE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
154
click to vote
TSD
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...
163
click to vote
SAMOS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This article presents a novel design flow called MOUSE for the effective development of digital signal processing systems in terms of development time, performance and p...
126
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
159
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...