10392 search results - page 1712 / 2079 » Introduction to Computer Science |
187
click to vote
ICS
2010
Tsinghua U.
16 years 4 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
196
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
182
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Today’s computational science demands have resulted in ever larger parallel computers, and storage systems have grown to match these demands. Parallel file systems us...
203
click to vote
ICS
2007
Tsinghua U.
16 years 27 days ago
2007
Tsinghua U.
Building commodity networked storage systems is an important architectural trend; Commodity servers hosting a moderate number of consumer-grade disks and interconnected with a hig...
194
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...