1569 search results - page 19 / 314 » Automated Design Improvement by Example |
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper aims at proposing a dynamic resource reservation scheme to enhance wireless multicasting protocols run in the hierarchical mobile IP version 6 (HMIPv6) based network...
ECWEB
2005
Springer
14 years 1 months ago
2005
Springer
Many approaches have been developed for modeling the functional aspects of Web applications, but there is a lack of a modeling language for their architectural concerns. This paper...
JAR
2006
13 years 7 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
GIS
1999
ACM
13 years 12 months ago
1999
ACM
Frameworks and Patterns are important instruments that enable the reuse of successful software solutions in recurrent problems. Geographic information systems, on the other hand, ...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...