2658 search results - page 47 / 532 » Micro-communication Element System |
ICALP
2000
Springer
15 years 3 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
107
click to vote
SCS
2001
15 years 1 months ago
2001
This paper describes recently developed policy and procedures for safety management during system acquisition within the Australian government's Defence Materiel Organisation...
107
click to vote
ENTCS
2007
14 years 12 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
COLING
2002
14 years 11 months ago
2002
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...