Sciweavers

933 search results - page 121 / 187
» Multi-paradigm Declarative Languages
Sort
View
ANSS
2006
IEEE
16 years 4 days ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
ICDCSW
2006
IEEE
16 years 3 days ago
Contory: A Smart Phone Middleware Supporting Multiple Context Provisioning Strategies
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...
Oriana Riva, Cristiano di Flora
SEFM
2006
IEEE
16 years 2 days ago
Formalizing AspectJ Weaving for Static Pointcuts
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...
Nadia Belblidia, Mourad Debbabi
HASKELL
2006
ACM
16 years 1 days ago
An extensible dynamically-typed hierarchy of exceptions
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
Simon Marlow
SAC
2006
ACM
16 years 1 days ago
Supporting transparent evolution of component interfaces
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...
Emanuela P. Lins, Ulrik Pagh Schultz