10870 search results - page 1992 / 2174 » Model Checking Programs |
97
Voted
IV
2005
IEEE
15 years 7 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
IWPSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
106
click to vote
MMM
2005
Springer
15 years 7 months ago
2005
Springer
In distributed computing systems, it is unwise to move data to the point of program code, but instead process data at the point of storage. This concept is even more appropriate t...
139
click to vote
PDP
2005
IEEE
15 years 7 months ago
2005
IEEE
SVM systems are a cheaper and flexible way to implement the shared memory programming paradigm. Their huge flexibility is due to their software implementation; however, this is al...
122
click to vote
QSHINE
2005
IEEE
15 years 7 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...