1566 search results - page 312 / 314 » Contification Using Dominators |
ICDM
2002
IEEE
14 years 9 days ago
2002
IEEE
The Web has established itself as the dominant medium for doing electronic commerce. Consequently the number of service providers, both large and small, advertising their services...
LICS
2002
IEEE
14 years 8 days ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
WORDS
2002
IEEE
14 years 8 days ago
2002
IEEE
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
SIGGRAPH
2010
ACM
13 years 12 months ago
2010
ACM
The emergence of large-scale freeform shapes in architecture poses big challenges to the fabrication of such structures. A key problem is the approximation of the design surface b...
ICSE
2001
IEEE-ACM
13 years 11 months ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...