3088 search results - page 261 / 618 » A Teleradiology System Design Case |
180
click to vote
DFG
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
191
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 ...
183
click to vote
ENTCS
2002
15 years 6 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
189
click to vote
SSS
2007
Springer
16 years 26 days ago
2007
Springer
System design often explores optimality of performance. What is optimal is, however, often not predefined or static in most cases, because it is affected by the context of operat...
170
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...