19367 search results - page 435 / 3874 » Fine-Grain Process Modelling |
133
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
137
Voted
ENTCS
2007
15 years 4 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
162
Voted
KES
2006
Springer
15 years 4 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
107
click to vote
CCE
2004
15 years 4 months ago
2004
A method for environmental performance assessment is presented in this paper. The proposed method considers the procedure for environmental performance comparison of design altern...
112
click to vote
TIT
1998
15 years 4 months ago
1998
— This paper reviews two streams of development, from the 1940’s to the present, in signal detection theory: the structure of the likelihood ratio for detecting signals in nois...