503 search results - page 67 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
112
click to vote
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
Increasingly large-scale clusters of PC/WS continue to become majority platform in HPC field. Such a commodity cluster environment, there may be incremental upgrade due to severa...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
If applications were able to detect a user's expertise, then software could automatically adapt to better match expertise. Detecting expertise is difficult because a user...
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
CASES
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we propose a fully automatic dynamic scratchpad memory (SPM) management technique for instructions. Our technique loads required code segments into the SPM on deman...
POLICY
2004
Springer
15 years 3 months ago
2004
Springer
Ad hoc networking is the basis of the future military network-centric warfare architecture. Such networks are highly dynamic in nature, as mobile ad hoc networks are formed over w...