3495 search results - page 61 / 699 » On the random satisfiable process |
117
Voted
ISORC
2006
IEEE
15 years 6 months ago
2006
IEEE
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
126
Voted
TOPNOC
2008
15 years 17 days ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
110
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Complex signal processing algorithms are often specified in floating point precision. Thus, a type conversion is needed when the targeted platform requires fixed-point precis...
CLUSTER
2000
IEEE
15 years 5 months ago
2000
IEEE
The importance of large-scale electrical business processing is increasing today as recent Internet technologies build on the basic infrastructure. Simply integrating existing tec...
108
Voted
BPM
2010
Springer
15 years 27 days ago
2010
Springer
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...