1788 search results - page 93 / 358 » Model Theory for Process Algebra |
108
Voted
ICDCSW
2005
IEEE
15 years 6 months ago
2005
IEEE
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...
90
Voted
ICA3PP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...
103
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we examine the problem of overcomplete representations and provide new insights into the problem of stable recovery of sparse solutions in noisy environments. We es...
113
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
89
Voted
APCCM
2006
15 years 2 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...