4460 search results - page 48 / 892 » Resources in process algebra |
167
Voted
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Software development project employs some Quality Control (QC) process to detect and remove defects. The final quality of the delivered software depends on the effort spent on al...
138
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
125
click to vote
AINA
2008
IEEE
15 years 10 months ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
133
click to vote
ENTCS
2007
15 years 4 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
159
click to vote
DPD
2006
15 years 4 months ago
2006
Advances in network technologies and the emergence of Grid computing have both increased the need and provided the infrastructure for computation and data intensive applications to...