9018 search results - page 1574 / 1804 » 3D-Brain Model Software |
142
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
132
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...
124
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
168
Voted
CASES
2008
ACM
15 years 6 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
142
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...