8337 search results - page 1524 / 1668 » Reasoning With Characteristic Models |
149
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Cloud computing has seen tremendous growth, particularly for commercial web applications. The on-demand, pay-as-you-go model creates a flexible and cost-effective means to access c...
167
Voted
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...
174
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
188
click to vote
SASO
2010
IEEE
15 years 2 months ago
2010
IEEE
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
159
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...