14244 search results - page 2385 / 2849 » Modeling Program Predictability |
113
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
A central theme of the semantic web is that programs should be able to easily aggregate data from different sources. Unfortunately, even if two sites provide their data using the ...
134
click to vote
CGO
2003
IEEE
15 years 10 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
146
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
137
click to vote
ICOIN
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we propose a dynamic QoS, D-QoS, model which allows the QoS requirements be reconfigured dynamically. A privilege user can request a network interruption to guarant...
140
click to vote
HAPTICS
2010
IEEE
15 years 9 months ago
2010
IEEE
In the Turing test, a computer model is deemed to “think intelligently” if it can generate answers that are not distinguishable from those of a human. This test is limited to t...