Sciweavers

3692 search results - page 371 / 739
» Active learning and its use in computer science
Sort
View
SCCC
1998
IEEE
15 years 11 months ago
Resurrecting Ada's Rendez-Vous in Java
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
Luis Mateu, José M. Piquer, Juan Leó...
SOFSEM
1998
Springer
15 years 11 months ago
Security of Electronic Money
Abstract. The realisation of electronic commerce process is very difficult without appropriate system for electronic payment. Of course it is possible to use some of the convention...
Petr Hanácek
SCCC
1997
IEEE
15 years 11 months ago
Reliable Processing on the Seljuk-Amoeba Operating Environment
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...
Érica de Lima Gallindo, Francisco Vilar Bra...
ACSC
2004
IEEE
15 years 10 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
ACSC
2001
IEEE
15 years 10 months ago
TRAM: A Tool for Requirements and Architecture Management
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
Jun Han