4890 search results - page 448 / 978 » From system specifications to component behavioral models |
217
click to vote
COMPSAC
2002
IEEE
16 years 3 days ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
197
click to vote
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
15 years 7 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
197
click to vote
JCST
2008
15 years 7 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
223
click to vote
SIES
2009
IEEE
16 years 1 months ago
2009
IEEE
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
228
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Customer preferences for products are drifting over time. Product perception and popularity are constantly changing as new selection emerges. Similarly, customer inclinations are ...