3387 search results - page 158 / 678 » Automating the Metamodeling Process |
148
click to vote
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
181
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
133
click to vote
SAMOS
2010
Springer
15 years 3 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...
130
click to vote
ISPW
1994
IEEE
15 years 9 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
154
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...