Sciweavers

8083 search results - page 30 / 1617
» A Formalization of Software Architecture
Sort
View
140
Voted
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
16 years 16 days ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
COOPIS
2002
IEEE
15 years 8 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman