1461 search results - page 59 / 293 » On Regular Reduced Products |
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
SELMAS
2005
Springer
14 years 2 months ago
2005
Springer
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
FM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
JSW
2008
13 years 8 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
The increasing pervasiveness of the Internet has dramatically changed the way that consumers shop for goods. Consumergenerated product reviews have become a valuable source of inf...