1585 search results - page 237 / 317 » A framework for computer-aided validation |
119
Voted
ICN
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
120
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
100
Voted
MDM
2005
Springer
15 years 9 months ago
2005
Springer
Traditional approaches to recommender systems have not taken into account situational information when making recommendations, and this seriously limits the relevance of the resul...
131
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents our ongoing effort on developing a principled methodology for automatic ontology mapping based on BayesOWL, a probabilistic framework we developed for modeling ...
137
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...