3495 search results - page 61 / 699 » On the random satisfiable process |
147
Voted
ISORC
2006
IEEE
15 years 9 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...
152
Voted
TOPNOC
2008
15 years 3 months 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...
139
Voted
DATE
2009
IEEE
15 years 10 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...
126
Voted
CLUSTER
2000
IEEE
15 years 8 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...
139
Voted
BPM
2010
Springer
15 years 4 months 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...