1200 search results - page 80 / 240 » The Problem Frames Approach to Software Engineering |
FMCAD
2009
Springer
14 years 3 months ago
2009
Springer
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Several general purpose benchmark generators are now available in the literature. They are convenient tools in dynamic continuous optimization as they can produce test instances w...
COMPSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Design patterns encode proven solutions to recurring design problems. To use a design pattern properly, we need to 1) understand the design problem the pattern resolves, 2) recogn...
NTMS
2008
IEEE
14 years 3 months ago
2008
IEEE
—Peer-to-Peer (P2P) systems gain much attention in recent years. According to many statistics, P2P systems contribute a significant portion of the Internet traffic. Individual In...
XIMEP
2005
ACM
14 years 2 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...