Sciweavers

2145 search results - page 217 / 429
» Architectural Specifications in CASL
Sort
View
UML
2004
Springer
15 years 12 months ago
Open Issues in Industrial Use Case Modeling
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
Gonzalo Génova, Juan Llorens Morillo, Pierr...
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
15 years 10 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
CCS
2007
ACM
15 years 10 months ago
Reconfigurable trusted computing in hardware
Trusted Computing (TC) is an emerging technology towards building trustworthy computing platforms. The Trusted Computing Group (TCG) has proposed several specifications to impleme...
Thomas Eisenbarth, Tim Güneysu, Christof Paar...
BMCBI
2008
120views more  BMCBI 2008»
15 years 6 months ago
DBMLoc: a Database of proteins with multiple subcellular localizations
Background: Subcellular localization information is one of the key features to protein function research. Locating to a specific subcellular compartment is essential for a protein...
Song Zhang, Xuefeng Xia, Jincheng Shen, Yun Zhou, ...
DT
2006
180views more  DT 2006»
15 years 6 months ago
A SystemC Refinement Methodology for Embedded Software
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
Jérôme Chevalier, Maxime de Nanclas, ...