6274 search results - page 102 / 1255 » Proofs, Programs, Processes |
101
click to vote
ICSOC
2010
Springer
14 years 9 months ago
2010
Springer
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
100
click to vote
WOTUG
2008
15 years 1 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
A lot of image analysis problems lend themselves to a unified mathematical formulation as optimization problems. Tree-serial dynamic programming is a particular case of the so-cal...
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
CP
2005
Springer
15 years 5 months ago
2005
Springer
