Sciweavers

5252 search results - page 272 / 1051
» Requirements engineering: a roadmap
Sort
View
VSTTE
2005
Springer
16 years 5 days ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
PPPJ
2004
ACM
16 years 3 days ago
MailConfigurator: automatic configuration of e-mail accounts through Java mobile agents
: E-Mail is the most exploited service in the Internet. We present an application based on Java mobile agents to automatically perform required steps to register an account. The us...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
WOSS
2004
ACM
16 years 3 days ago
A control-based framework for self-managing distributed computing systems
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Ne...
ICCBSS
2004
Springer
16 years 2 days ago
First International Workshop on Incorporating COTS into Software Systems
Abstract. This workshop explores innovative ways of integrating COTS software into software systems for purposes often unimagined by their original designers. It emphasizes tools a...
Alexander Egyed, Dewayne E. Perry
PDP
2003
IEEE
15 years 12 months ago
Building Grid MPI Applications from Modular Components
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
Yiannis Cotronis