2935 search results - page 82 / 587 » An Integrated Approach to High Integrity Software Verificati... |
192
click to vote
EON
2008
15 years 5 months ago
2008
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
160
click to vote
CISIS
2009
IEEE
15 years 2 months ago
2009
IEEE
The capability to provide a platform for flexible business services in the Air Traffic Management (ATM) domain is both a major success factor for the ATM industry and a challenge ...
118
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— The third-generation (3G) wide area wireless networks and 802.11 local area wireless networks possess complementary characteristics. 3G networks promise to offer always...
150
click to vote
DGO
2007
15 years 5 months ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...
130
click to vote
IDT
2007
15 years 4 months ago
2007
This paper presents an approach to automated negotiation between agents which attempts to combine the advantages of a co-operative value adding approach, with the reality that neg...