741 search results - page 123 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
165
click to vote
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
146
click to vote
CVIU
2007
15 years 4 months ago
2007
We investigate the problem of automatically creating 3D models of man-made environments that we represent as collections of textured planes. A typical approach is to automatically...
139
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
116
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
149
click to vote
STTT
2011
14 years 11 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...