2302 search results - page 396 / 461 » Basic Description Logics |
143
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
140
click to vote
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
149
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
149
click to vote
APWEB
2005
Springer
15 years 10 months ago
2005
Springer
With the explosive emerged Web services, the Web becomes a world of information and applications. So portals whose goal is presenting a structured view onto the Web should provide ...
145
click to vote
BPM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...