Sciweavers

7303 search results - page 71 / 1461
» Optimality for dynamic patterns
Sort
View
IWINAC
2005
Springer
15 years 3 months ago
Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
COMPSAC
1999
IEEE
15 years 2 months ago
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Eb...
APCSAC
2006
IEEE
15 years 4 months ago
Issues and Support for Dynamic Register Allocation
Abstract. Post-link and dynamic optimizations have become important to achieve program performance. A major challenge in post-link and dynamic optimizations is the acquisition of r...
Abhinav Das, Rao Fu, Antonia Zhai, Wei-Chung Hsu
COMPSAC
2008
IEEE
14 years 11 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
JISBD
2003
14 years 11 months ago
A Conceptual Modelling Pattern for Roles
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
Ruth Raventós, Jordi Cabot