Sciweavers

833 search results - page 146 / 167
» A Domain Specific Language for Project Execution Models
Sort
View
FOIS
2001
13 years 9 months ago
Type-syntax and token-syntax in diagrammatic systems
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
John Howse, Fernando Molina, John Taylor, Sun-Joo ...
POPL
2008
ACM
14 years 8 months ago
Relevance heuristics for program analysis
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
Kenneth L. McMillan
IADIS
2004
13 years 9 months ago
Designing a personalized E-learning experience using learning objects
This paper aims to provide an experimental vision of the process of course creation using learning objects obtained in the <e-aula> project, a pilot e-learning system concei...
Pilar Sancho, Borja Manero, Baltasar Fernán...
FGCS
2008
107views more  FGCS 2008»
13 years 8 months ago
Dynamic security context management in Grid-based applications
This paper summarises ongoing research and recent results on the development of flexible access control infrastructure for complex resource provisioning in Grid-based collaborativ...
Yuri Demchenko, Olle Mulmo, Leon Gommans, Cees de ...
DOCENG
2011
ACM
12 years 7 months ago
A framework with tools for designing web-based geographic applications
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
The Nhan Luong, Sébastien Laborie, Thierry ...