4890 search results - page 167 / 978 » From system specifications to component behavioral models |
180
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
209
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes a new method for providing recommendations tailored to a user's preferences using text mining techniques and online technical specifications of products....
183
click to vote
JUCS
2002
15 years 6 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
214
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
189
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...