2521 search results - page 188 / 505 » Semantic Component Composition |
CBSE
2011
Springer
12 years 10 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
IRI
2008
IEEE
14 years 5 months ago
2008
IEEE
Linking components with end-user requests for processing is problematic when there are fundamental language differences between component specifications and how individual users s...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...
JMLC
2000
Springer
14 years 2 months ago
2000
Springer
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
IEEEHPCS
2010
13 years 9 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...