10870 search results - page 1767 / 2174 » Model Checking Programs |
177
click to vote
CGO
2003
IEEE
16 years 4 days 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...
176
click to vote
ICDM
2003
IEEE
16 years 4 days ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
190
click to vote
KBSE
2003
IEEE
16 years 3 days 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...
181
click to vote
ICOIN
2003
Springer
16 years 1 days 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...
180
click to vote
HAPTICS
2010
IEEE
15 years 12 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...