4109 search results - page 772 / 822 » User Interface Software Tools |
89
Voted
ECWEB
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Semantic Web Services can be seen as remote Problem Solving Methods offered via the Web through platform and language independent interfaces. They can be seamlessly inte...
BMCBI
2008
14 years 11 months ago
2008
Background: Ultraconserved elements are nucleotide or protein sequences with 100% identity (no mismatches, insertions, or deletions) in the same organism or between two or more or...
105
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
185
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
81
Voted
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...