359 search results - page 40 / 72 » A Pattern-Based Constraint Description Approach for Web Serv... |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
ICALT
2007
IEEE
14 years 3 months ago
2007
IEEE
The vision of a common international education space includes a scenario for the composition of personalised study curricula consisting of modules offered by different universitie...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
ICIW
2008
IEEE
14 years 3 months ago
2008
IEEE
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...