5900 search results - page 462 / 1180 » Dependable Systems |
178
Voted
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reports on the phenomenon that may be called "derivative meaning," where the basic semantic conventions for certain graphical representation systems give rise...
187
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
169
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present CaptionEye/KE, a Korean to English machine translation system that is applied to a practical TV caption translation. And its experimental evaluation is p...
147
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Conventional e-mail systems are prone to problems that impact their scalability and dependability. E-mail systems operate following a "push-based" approach: the sender s...
184
Voted
CD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...