12774 search results - page 177 / 2555 » A Framework for Proof Systems |
118
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
124
Voted
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
The Zachman Framework offers a classification of the models created in an enterprise architecture project. These models form a holistic representation of the organization. Despite...
138
Voted
JSW
2007
15 years 4 months ago
2007
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
173
Voted
ISAMI
2010
15 years 2 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
143
click to vote
JNSM
2000
15 years 4 months ago
2000
The successful deployment of next-generation distributed multimedia systems is signi cantly dependent on the e cient management support that improves the performance and the relia...