10707 search results - page 1993 / 2142 » Designing executable abstractions |
170
click to vote
ECBS
2006
IEEE
16 years 17 days ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
205
click to vote
MINENET
2006
ACM
16 years 14 days ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
141
click to vote
CCGRID
2005
IEEE
16 years 4 days ago
2005
IEEE
Simple resource specification, resource selection, and effective binding are critical capabilities for Grid middleware. We the Virtual Grid, an abstraction for dynamic grid applic...
174
click to vote
EH
2005
IEEE
16 years 4 days ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...
199
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...