6274 search results - page 106 / 1255 » Proofs, Programs, Processes |
137
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
Knowledge management is the key area of focus in the present information technology scenario. It forms a basis to derive standards and models and steers organizations through an e...
121
click to vote
SCOPES
2004
Springer
15 years 8 months ago
2004
Springer
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
145
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
127
Voted
ARCS
2005
Springer
15 years 8 months ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
163
Voted
VVEIS
2007
15 years 3 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...