Sciweavers

2062 search results - page 189 / 413
» Hardware Objects for Java
Sort
View
WMTE
2006
IEEE
14 years 3 months ago
A Framework for Interoperability with VLEs for Large Scale Deployment of Mobile Learning
The diversity of mobile devices and their limitations have raised many challenges for the actual deployment of mobile learning across institutions. The main objective of this work...
Fatma Elsayed Meawad, Geneen Stubbs
AOSD
2006
ACM
14 years 3 months ago
Reusable aspect-oriented implementations of concurrency patterns and mechanisms
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
Carlos A. Cunha, João Luís Sobral, M...
SPC
2005
Springer
14 years 3 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
GPCE
2004
Springer
14 years 3 months ago
A Fresh Calculus for Name Management
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
Davide Ancona, Eugenio Moggi
ICCS
2004
Springer
14 years 3 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...