6794 search results - page 1092 / 1359 » Semantics of Visual Languages |
178
click to vote
ICPADS
2008
IEEE
16 years 1 months ago
2008
IEEE
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...
149
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
182
click to vote
SOSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
150
click to vote
QSIC
2007
IEEE
16 years 27 days ago
2007
IEEE
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
169
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...