3771 search results - page 338 / 755 » Subobject Transformation Systems |
130
Voted
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— We propose the global Arnoldi algorithm for MIMO RLCG interconnect model order reductions. This algorithm is an extension of the standard Arnoldi algorithm for systems with mul...
140
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
132
click to vote
ICSM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
118
click to vote
RTSS
1998
IEEE
15 years 9 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
172
click to vote
RTCSA
1997
IEEE
15 years 9 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...