2664 search results - page 165 / 533 » Theory of processes |
165
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
143
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...
152
click to vote
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
174
click to vote
SODA
2012
ACM
13 years 9 months ago
2012
ACM
We consider the sparse Fourier transform problem: given a complex vector x of length n, and a parameter k, estimate the k largest (in magnitude) coefficients of the Fourier transf...
148
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
In this paper we analyze the role of Enterprise System (ES) in shaping a company’s transformation process by conducting an in-depth case study in a large European high-tech comp...