1746 search results - page 94 / 350 » Residual for Component Specifications |
143
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
137
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...
115
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
The paper describes the design and implementation of a security architecture for a Cooperative Information System implemented with CORBA technologies. We first define a role-based...
130
click to vote
UML
1998
Springer
15 years 8 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
133
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: We study the usage of specific peptide platforms in protein composition. Using the pentapeptide as a unit of length, we find that in the universal proteome many pentap...