364 search results - page 13 / 73 » A UML-integrated Test Description Language for Component Tes... |
77
Voted
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
We describe our early experience building and optimizing GOOG-411, a fully automated, voice-enabled, business finder. We show how taking an iterative approach to system developme...
96
Voted
JSS
2006
14 years 11 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
106
click to vote
FMICS
2008
Springer
15 years 13 days ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
75
Voted
ICFEM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
DLOG
2003
15 years 8 days ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...