4335 search results - page 701 / 867 » Ontology Engineering Relationally |
185
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
172
click to vote
FASE
2009
Springer
15 years 10 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...
209
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
For complex System-on-chips (SoCs) fabricated in nanometer technologies, the system-level on-chip communication architecture is emerging as a significant source of power consumpti...
197
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
123
click to vote
ISPW
1991
IEEE
15 years 10 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...