602 search results - page 61 / 121 » Efficient Model Checking of Applications with Input Output |
TOOLS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
WCE
2007
13 years 10 months ago
2007
—Associative neural memories are models of biological phenomena that allow for the storage of pattern associations and the retrieval of the desired output pattern upon presentati...
EMNLP
2009
13 years 6 months ago
2009
We present a machine translation framework that can incorporate arbitrary features of both input and output sentences. The core of the approach is a novel decoder based on lattice...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...