Sciweavers

2328 search results - page 180 / 466
» Component Frameworks - A Case Study
Sort
View
SOCO
2005
Springer
15 years 11 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
ICALP
2007
Springer
16 years 5 days ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
152
Voted
ICALT
2007
IEEE
16 years 10 days ago
PALS2: Pedagogically Adaptive Learning System based on Learning Styles
One of the most contemporary research ideas for adaptive web-based educational systems is personalizing the educational contents, based on users’ learning styles. Moreover, it i...
Melody Siadaty, Fattaneh Taghiyareh
IWPC
2003
IEEE
15 years 11 months ago
Scaling an Object-Oriented System Execution Visualizer through Sampling
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
Andrew Chan, Reid Holmes, Gail C. Murphy, Annie T....
NMR
2004
Springer
15 years 11 months ago
A recursive approach to argumentation: motivation and perspectives
In the context of Dung’s argumentation framework, we propose a general recursive schema for argumentation semantics, based on decomposition along the strongly connected componen...
Pietro Baroni, Massimiliano Giacomin