8874 search results - page 1623 / 1775 » A New Implementation of Automath |
123
click to vote
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
There are currently a large number of ‘‘orphan’’ G-protein-coupled receptors (GPCRs) whose endogenous ligands (peptide hormones) are unknown. Identification of these pepti...
116
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— SPam over Internet Telephony (SPIT) is expected to become a very serious issue in the next years. The threat is going to spin out from the well known email spam problem by bot ...
142
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—With the availability of cheap and robust wireless devices there is demand for new applications in Vehicular Ad-hoc Networks (VANET). The challenge in implementing applications ...
132
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
134
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Separation of duties (SoD) is a key security requirement for many business and information systems. Role Based Access Controls (RBAC) is a relatively new paradigm for protecting i...