Sciweavers

445 search results - page 40 / 89
» A Call Abstraction for Component Coordination
Sort
View
SOCO
2005
Springer
15 years 5 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
MMMACNS
2001
Springer
15 years 4 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
IPCV
2007
15 years 1 months ago
Extracting the Major Form Body Segment from Unconstrained Document Images
Abstract In the analysis of any unconstrained document image it is necessary to first decide what the main area of interest is. Previous work has been done on simply removing the ...
John Bunch, Dean Curtis, Christopher Jones, Jia Ts...
TCSB
2010
14 years 10 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
ICWL
2009
Springer
14 years 9 months ago
Addressing Learning Style Criticism: The Unified Learning Style Model Revisited
Abstract. Learning style is one of the individual differences that play an important but controversial role in the learning process. This paper aims at providing a critical analysi...
Elvira Popescu