6274 search results - page 102 / 1255 » Proofs, Programs, Processes |
128
Voted
ICSOC
2010
Springer
15 years 14 days 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...
131
click to vote
WOTUG
2008
15 years 4 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 9 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 8 months ago
2006
ACM
91
Voted
CP
2005
Springer
15 years 8 months ago
2005
Springer
