7121 search results - page 437 / 1425 » Functions as Session-Typed Processes |
221
click to vote
ISCNZ
1996
IEEE
15 years 11 months ago
1996
IEEE
The purpose of this paper is to introduce the use of an object-oriented methodology called TAD in the field of business process reengineering. TAD methodology consists of six phas...
183
click to vote
ISCAS
1994
IEEE
15 years 11 months ago
1994
IEEE
Gabor filters have been applied sucessfully to a broad range of multidimensional signal processing and image processing tasks. The present paper considers the design of a single f...
148
click to vote
CONCUR
1990
Springer
15 years 11 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
162
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Many applications process or transform a stream of data. Such applications are organized as a sequence of different stages, which may be independent enough to be simultaneously car...
209
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...