3920 search results - page 595 / 784 » Challenges in Software Evolution |
120
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
160
click to vote
JUCS
2010
15 years 2 months ago
2010
: As multimedia contents are becoming widely used in ubiquitous computing environments among many application fields, e.g., education, entertainment, and live surveillance, the dem...
159
click to vote
PAAMS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
145
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Eucalyptus, OpenNebula and Nimbus are three major open-source cloud-computing software platforms. The overall function of these systems is to manage the provisioning of virtual ma...
150
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
Today, mobile smartphones are expected to be able to run the same complex, algorithm-heavy, memory-intensive applications that were originally designed and coded for generalpurpos...