Sciweavers

2613 search results - page 458 / 523
» Active Software Artifacts
Sort
View
ELPUB
2007
ACM
15 years 3 months ago
Representing and Coding the Knowledge Embedded in Texts of Health Science Web Published Articles
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
Carlos Henrique Marcondes, Marília Alvareng...
HOTOS
2007
IEEE
15 years 3 months ago
Automatic Mutual Exclusion
We propose a new concurrent programming model, Automatic Mutual Exclusion (AME). In contrast to lock-based programming, and to other programming models built over software transac...
Michael Isard, Andrew Birrell
CSB
2004
IEEE
142views Bioinformatics» more  CSB 2004»
15 years 3 months ago
FastR: Fast Database Search Tool for Non-Coding RNA
The discovery of novel non-coding RNAs has been among the most exciting recent developments in Biology. Yet, many more remain undiscovered. It has been hypothesized that there is ...
Vineet Bafna, Shaojie Zhang
FAABS
2000
Springer
15 years 3 months ago
From Livingstone to SMV
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
Charles Pecheur, Reid G. Simmons
DATE
2010
IEEE
147views Hardware» more  DATE 2010»
15 years 2 months ago
Detecting/preventing information leakage on the memory bus due to malicious hardware
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
Abhishek Das, Gokhan Memik, Joseph Zambreno, Alok ...