5630 search results - page 241 / 1126 » Computability in Specification |
129
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents a systematic methodology to create customized structural macromodels for a specific analog circuit. The novel contributions of the method include definition of...
158
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
The biggest challenge for RFID technology is to provide benefits without threatening the privacy of consumers. Many solutions have been suggested but almost as many ways have been...
171
click to vote
CASCON
2006
15 years 7 months ago
2006
This paper describes a technique for automating the size estimation of software projects conducted using Model Driven Development methods. Specifically, an algorithm has been impl...
177
click to vote
ICVGIP
2004
15 years 7 months ago
2004
Shape from Shading (SFS) is one of the most extensively studied problems in Computer Vision. However, most of the approaches only deal with Lambertian or other specific shading mo...
147
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...