Sciweavers

17449 search results - page 262 / 3490
» Availability
Sort
View
WMCSA
2002
IEEE
15 years 11 months ago
User Devices Cooperating to Support Resource Aggregation
MOPED (MObile grouPEd Device) is a network model that treats a user’s set of personal devices as a single, virtual device. The nodes of the MOPED dynamically aggregate available...
Casey Carter, Robin Kravets
WMTE
2002
IEEE
15 years 11 months ago
A Concept Mapping Tool for Pocket PC Computers
We describe the implementation and evaluation of a concept mapping tool for Pocket PC computers. The paper addresses challenges associated with developing a learning tool for hand...
Tony Chan, Mike Sharples
143
Voted
APLAS
2009
ACM
15 years 11 months ago
Parallel Reduction in Resource Lambda-Calculus
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
Michele Pagani, Paolo Tranquilli
SAFECOMP
2009
Springer
15 years 11 months ago
A Foundation for Requirements Analysis of Dependable Software
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as cert...
Denis Hatebur, Maritta Heisel
IPPS
2000
IEEE
15 years 11 months ago
Gang Scheduling with Memory Considerations
A major problem with time slicing on parallel machines is memory pressure, as the resulting paging activity damages the synchronism among a job’s processes. An alternative is to...
Anat Batat, Dror G. Feitelson