Sciweavers

1103 search results - page 151 / 221
» The Visula programming language and environment
Sort
View
JCM
2008
75views more  JCM 2008»
13 years 8 months ago
A Secure Mobile Agents Platform
Abstract--Mobile Agents is a new paradigm for distributed computing where security is very essential to the acceptance of this paradigm in a large scale distributed environment. In...
Leila Ismail
ENTCS
2002
78views more  ENTCS 2002»
13 years 8 months ago
Separating concerns in a high-level component-based context
Building on the work of architectural description languages and aspect-oriented programming, we try to improve current visual component composition environments. In our , we intro...
Wim Vanderperren, Bart Wydaeghe
EUROSYS
2009
ACM
14 years 5 months ago
Tralfamadore: unifying source code and execution experience
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
Geoffrey Lefebvre, Brendan Cully, Michael J. Feele...
ESOP
2010
Springer
14 years 6 months ago
Explicit Stabilisation for Modular Rely-Guarantee Reasoning
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
John Wickerson, Matthew J. Parkinson, Mike Dodds
UM
2009
Springer
14 years 3 months ago
Context-Dependent Personalised Feedback Prioritisation in Exploratory Learning for Mathematical Generalisation
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
Mihaela Cocea, George D. Magoulas