5550 search results - page 779 / 1110 » Different Approaches to Proof Systems |
165
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
The concept of the core group of developers is important and often discussed in empirical studies of FLOSS projects. This paper examines the question, “how does one empirically ...
188
click to vote
DFMA
2005
IEEE
16 years 17 days ago
2005
IEEE
Advances in networking and content delivery systems are enabling new challenging provisioning scenarios where a growing number of users access Video on Demand (VoD), possibly whil...
181
click to vote
ICDE
2005
IEEE
16 years 16 days ago
2005
IEEE
In the case of large-scale distributed environments such as the Internet, users are interested in monitoring changes to a particular web page (XML or HTML). There are many instanc...
199
click to vote
SBACPAD
2005
IEEE
16 years 15 days ago
2005
IEEE
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...
203
click to vote
VISUALIZATION
2005
IEEE
16 years 15 days ago
2005
IEEE
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...