532 search results - page 24 / 107 » Process Algebras for Quantitative Analysis |
WCE
2007
13 years 8 months ago
2007
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
FAC
2010
13 years 6 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
ESE
2000
13 years 7 months ago
2000
We present a case study that aims at quantitative assessment of the impact of requirements changes, and quantitative estimation of costs of the development activities that must be ...
FAC
2007
13 years 7 months ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Enterprise systems promise to integrate the processes of an entire enterprise. To attain this promise, users must do more than accept the technology; they must adhere to the proce...