1173 search results - page 77 / 235 » On the Compositionality of Round Abstraction |
96
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
96
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The composition of network management information is a feature widely required but not properly supported in traditional management technologies. In the last years, Web...
127
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
121
Voted
JUCS
2008
15 years 24 days ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
138
Voted
ENTCS
2002
15 years 19 days ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...