4983 search results - page 796 / 997 » order 2008 |
169
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
130
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
127
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
160
click to vote
ECOWS
2008
Springer
15 years 5 months ago
2008
Springer
One of the promises of the Service-Oriented Architecture (SOA) is to build complex added-value services in order to enhance and extend existing ones. Service-Based Applications (S...
146
click to vote
EDCC
2008
Springer
15 years 5 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...