7762 search results - page 236 / 1553 » Availability in BitTorrent Systems |
187
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
199
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Distributed systems are becoming a popular way of implementing many embedded computing applications, automotive control being a common and important example. Such embedded systems...
186
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
168
click to vote
LREC
2010
15 years 8 months ago
2010
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
177
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
- Recommender systems provide personalized recommendations on products or services to customers. Collaborative filtering is a widely used method of providing recommendations based ...