10159 search results - page 538 / 2032 » System Design Validation Using Formal Models |
176
click to vote
PGLDB
2003
15 years 7 months ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
177
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
172
click to vote
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
150
click to vote
ICDCSW
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important but difficult problem. Thi...
168
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...