2010 search results - page 124 / 402 » An analysis of research in computing disciplines |
176
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
147
click to vote
ISMB
1997
15 years 7 months ago
1997
We present a system of programs designed to facilitate sequence analysis projects involving large amounts of data. SEALS (System for Easy Analysis of Lots of Sequences) is a logic...
170
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
167
click to vote
ICPPW
2006
IEEE
16 years 14 days ago
2006
IEEE
The vast majority of research projects involving Grid Computing have focused on the development and standardization of the middleware that allows Grids to function. Despite the ma...
147
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
A new form of computer mediated communication that promises to revolutionize the way organizations communicate is internal corporate blogs. However, the academic literature on thi...