1812 search results - page 206 / 363 » Dynamic Updating of Software Systems Based on Aspects |
168
click to vote
UML
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
190
click to vote
PADL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
164
click to vote
IUI
2010
ACM
15 years 12 months ago
2010
ACM
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
186
click to vote
JCP
2008
15 years 6 months ago
2008
This paper addresses the issue of trajectory tracking control based on a neural network controller for industrial manipulators. A new control scheme is proposed based on neural net...
190
click to vote
ICDCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Effective caching in Domain Name System (DNS) is critical to its performance and scalability. Existing DNS only supports weak cache consistency by using the Time-To-Live (TTL) mec...