4516 search results - page 72 / 904 » Automated System Design for Availability |
DRR
2003
14 years 11 months ago
2003
A prototype system has been designed to automate the extraction of bibliographic data (e.g., article title, authors, , affiliation and others) from online biomedical journals to p...
IWC
2008
14 years 9 months ago
2008
We built an automated dialogue system whose style of interaction can be varied along the three dimensions of Humour, Relationship Maintenance and Personality Matching. We then ran...
103
click to vote
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
119
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
JSC
2006
14 years 9 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...