2637 search results - page 275 / 528 » Tool Supported Specification and Simulation of Distributed S... |
174
click to vote
HPDC
2006
IEEE
16 years 20 days ago
2006
IEEE
Desktop grid (DG) systems use the idle computing power of many volunteered desktop PC’s on the Internet to support large-scale computation and storage. For over a decade, DG sys...
181
click to vote
SIGCOMM
2003
ACM
15 years 12 months ago
2003
ACM
Napster pioneered the idea of peer-to-peer file sharing, and supported it with a centralized file search facility. Subsequent P2P systems like Gnutella adopted decentralized sea...
145
click to vote
MDAFA
2004
Springer
15 years 12 months ago
2004
Springer
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
177
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
174
click to vote
HCI
2007
15 years 8 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...