3564 search results - page 348 / 713 » Evaluating a Formal Modelling Language |
220
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
111
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
158
click to vote
APIN
1998
15 years 4 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
133
click to vote
HEURISTICS
2010
14 years 11 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
121
click to vote
DGO
2008
15 years 5 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...