1675 search results - page 74 / 335 » Compositional Model-Based Design |
HYBRID
2010
Springer
14 years 2 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Color features are among the most important features used in image database retrieval, especially in cases where no additional semantic information is available. Due to its compac...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
The future of service-centric environments suggests that organizations will dynamically discover and utilize web services for new business processes particularly those that span m...
ICSM
1999
IEEE
14 years 1 months ago
1999
IEEE
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...
ENTCS
2008
13 years 9 months ago
2008
Timing Closure in presence of long global wire interconnects is one of the main current issues in System-onChip design. One proposed solution to the Timing Closure problem is Late...