Sciweavers

2612 search results - page 262 / 523
» Mobile Processes and Termination
Sort
View
AH
2000
Springer
14 years 3 months ago
Adaptation Control in Adaptive Hypermedia Systems
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
Hongjing Wu, Paul De Bra, A. T. M. Aerts, Geert-Ja...
PODC
1994
ACM
14 years 3 months ago
A Checkpoint Protocol for an Entry Consistent Shared Memory System
Workstation clusters are becoming an interesting alternative to dedicated multiprocessors. In this environment, the probability of a failure, during an application's executio...
Nuno Neves, Miguel Castro, Paulo Guedes
CCS
2007
ACM
14 years 3 months ago
A framework for diversifying windows native APIs to tolerate code injection attacks
We present a framework to prevent code injection attacks in MS Windows using Native APIs in the operating system. By adopting the idea of diversity, this approach is implemented i...
Lynette Qu Nguyen, Tufan Demir, Jeff Rowe, Francis...
DSRT
2009
IEEE
14 years 2 months ago
Statemachine Matching in BOM Based Model Composition
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Far...
EMSOFT
2006
Springer
14 years 2 months ago
Efficient distributed deadlock avoidance with liveness guarantees
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
César Sánchez, Henny B. Sipma, Zohar...