506 search results - page 95 / 102 » Using Aspects and Compilation Techniques to Dynamically Mana... |
98
Voted
MIDDLEWARE
2005
Springer
15 years 2 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
CMSB
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Mining different types of communities from web data have attracted a lot of research efforts in recent years. However, none of the existing community mining techniques has taken i...
97
Voted
ENTER
2008
Springer
14 years 11 months ago
2008
Springer
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
GRID
2008
Springer
14 years 10 months ago
2008
Springer
As computer networks rapidly increase in size and speed, Internet-distributed systems such as P2P, volunteer computing, and Grid systems are increasingly common. A precise and acc...