Sciweavers

3061 search results - page 522 / 613
» integration 2006
Sort
View
EL
2006
131views more  EL 2006»
13 years 9 months ago
How digital libraries can support e-learning
Digital libraries offer opportunities for elearning that are not possible in their physical counterparts. Digital libraries complement other learning environments, such as those p...
Saeed Rezaei Sharifabadi
ENTCS
2006
160views more  ENTCS 2006»
13 years 9 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
ENTCS
2006
153views more  ENTCS 2006»
13 years 9 months ago
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen
ENTCS
2006
145views more  ENTCS 2006»
13 years 9 months ago
A Calculus for Data Mapping
Technologies for overcoming heterogeneities between autonomous data sources are key in the emerging networked world. In this paper we discuss the initial results of a formal inves...
George H. L. Fletcher, Catharine M. Wyss, Edward L...
ENTCS
2006
100views more  ENTCS 2006»
13 years 9 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...