Sciweavers

152 search results - page 31 / 31
» Application of Business Process Execution Language to Scient...
Sort
View
SIGSOFT
2007
ACM
14 years 5 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
JOT
2006
75views more  JOT 2006»
13 years 4 months ago
Porting the .NET Compact Framework to Symbian Phones
As a result of the increasing availability and processing capacity offered by portable devices, it is important for software providers to offer mobile services that seamlessly int...
Frank Siegemund, Robert Sugar, Alain Gefflaut, Fri...