1541 search results - page 279 / 309 » Tools and Techniques for Model Checking Networked Programs |
120
click to vote
HPDC
2002
IEEE
15 years 5 months ago
2002
IEEE
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...
104
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
Visualisations of dynamic data change in appearance over time, reflecting changes in the underlying data, be that the development of a social network, or the addition or removal o...
91
Voted
ICTAI
2003
IEEE
15 years 5 months ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
129
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
107
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...