1937 search results - page 232 / 388 » Starting B Specifications from Use Cases |
157
click to vote
RECOMB
2008
Springer
16 years 6 months ago
2008
Springer
We developed Gr?mlin 2.0, a new multiple network aligner with (1) a novel scoring function that can use arbitrary features of a multiple network alignment, such as protein deletion...
215
click to vote
CCECE
2006
IEEE
16 years 18 days ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
173
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
216
click to vote
WMASH
2004
ACM
15 years 12 months ago
2004
ACM
With the wide spread growth of mobile computing devices and local area wireless networks, wireless network providers have started to target the users with value-added services bas...