10435 search results - page 1786 / 2087 » Computational Biology and Language |
175
click to vote
PODC
2003
ACM
16 years 1 days ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
190
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
196
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
170
click to vote
SIGUCCS
2003
ACM
16 years 1 days ago
2003
ACM
Louisiana State University’s Biomedical Research Center is going through a major expansion in reaching its 5 year strategic plan. With expansion comes an opportunity to “get t...
141
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Distributed Internet-based attacks on computer systems are becoming more prevalent. These attacks usually employ some form of automation and involve the compromise of many systems...