6724 search results - page 4 / 1345 » Models. Models. Models. So What |
WSC
2007
13 years 9 months ago
2007
Conceptual modeling, deciding what to include in the model, is a very important task in the modeling process. However, it has so far received relatively little attention in the li...
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
HICSS
2011
IEEE
12 years 11 months ago
2011
IEEE
Enterprise mashups (EMs) are a new technology that enables the automation of situational needs of knowledge workers. EMs imply a new development paradigm based on the peer product...
FDL
2005
IEEE
14 years 29 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
IESS
2007
Springer
14 years 1 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...