Sciweavers

17449 search results - page 262 / 3490
» Availability
Sort
View
WMCSA
2002
IEEE
16 years 11 days 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
179
Voted
WMTE
2002
IEEE
16 years 11 days 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
156
Voted
APLAS
2009
ACM
16 years 4 days 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
16 years 1 hour 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 12 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