4591 search results - page 285 / 919 » The Global Computer |
130
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
143
click to vote
IEEESCC
2007
IEEE
15 years 11 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
141
click to vote
MP
1998
15 years 4 months ago
1998
Various algorithms can compute approximate feasible points or approximate solutions to equality and bound constrained optimization problems. In exhaustive search algorithms for gl...
177
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
150
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
We are interested by contributing to stochastic problems of which the main distinction is that some tasks may create other tasks. In particular, we present a first approach which...