42507 search results - page 264 / 8502 » On the analysis of |
178
click to vote
PEPM
1994
ACM
15 years 11 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
200
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes new techniques for assessing pedagogical discourse via threaded discussions that are based on an analysis of speech acts and course topics. The context is an u...
171
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Ma...
174
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
182
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...