4211 search results - page 657 / 843 » A formal approach to MASQ |
153
click to vote
COMCOM
2000
15 years 6 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
219
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
184
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
The collaborative filtering approach to recommender systems predicts user preferences for products or services by learning past useritem relationships. In this work, we propose no...
164
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
236
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...