5838 search results - page 956 / 1168 » A File System for System Programming in Ubiquitous Computing |
134
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Many tools exist for developing real-time distributed groupware, but most of these tools focus primarily on the performance of the resulting system, or on simplifying the developm...
128
click to vote
COORDINATION
2004
Springer
15 years 9 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
180
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
159
click to vote
GD
1998
Springer
15 years 8 months ago
1998
Springer
Current orthogonal graph drawing algorithms produce drawings which are generally good. However, many times the quality of orthogonal drawings can be significantly improved with a ...
140
click to vote
ALGORITHMICA
2006
15 years 4 months ago
2006
Phylogenetic analysis is an area of computational biology concerned with the reconstruction of evolutionary relationships between organisms, genes, and gene families. Maximum likel...