5465 search results - page 56 / 1093 » Assigning Types to Processes |
ISTA
2003
13 years 9 months ago
2003
Abstract: Event Driven Process Chains (EPC) are commonly used for the modelling of business processes. As modelling is decentralised to personnel not familiar with the formal aspec...
IFL
2007
Springer
14 years 1 months ago
2007
Springer
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
A multiple description scalar quantization (MDSQ) based coding system can be regarded as a source coder (quantizer) followed by a channel coder, i.e. the combination of index and ...
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Vast amounts of digital multimedia data are being produced and distributed today, so methods for the efficient and reliable extraction of information from video data are becoming...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...