Sciweavers

10241 search results - page 1515 / 2049
» Goal-Driven Software Development
Sort
View
EDOC
2008
IEEE
16 years 1 months ago
Automating Co-evolution in Model-Driven Engineering
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...
200
Voted
GLOBECOM
2008
IEEE
16 years 1 months ago
Secure Context Switch for Private Computing on Public Platforms
— Private Computing on Public Platforms (PCPP) is a new technology designed to enable secure and private execution of applications on remote, potentially hostile, public platform...
Thomas H. Morris, V. S. S. Nair
IAT
2008
IEEE
16 years 1 months ago
An Agent Modeling Language Implementing Protocols through Capabilities
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
Nikolaos I. Spanoudakis, Pavlos Moraitis
209
Voted
ICALT
2008
IEEE
16 years 1 months ago
Multisensory Games for Dyslexic Children
A significant problem faced by dyslexic children is a lack of learning technologies designed to help children learn in settings when there is no personal teaching assistance. This...
James Ohene-Djan, Rahima Begum
148
Voted
IEEEARES
2008
IEEE
16 years 1 months ago
Static Validation of Licence Conformance Policies
Policy conformance is a security property gaining importance due to commercial interest like Digital Rights Management. It is well known that static analysis can be used to valida...
René Rydhof Hansen, Flemming Nielson, Hanne...
« Prev « First page 1515 / 2049 Last » Next »