Sciweavers

2354 search results - page 149 / 471
» DRM as a layered system
Sort
View
ENTCS
2008
110views more  ENTCS 2008»
13 years 8 months ago
An Efficient Solution for Model Checking Graph Transformation Systems
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani,...
JUCS
2006
85views more  JUCS 2006»
13 years 7 months ago
A Pervasive Multimodal Tele-Home Healthcare System
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
Zhenjiang Miao, Baozong Yuan, Mengsun Yu
FPL
2010
Springer
210views Hardware» more  FPL 2010»
13 years 6 months ago
A Compact Transactional Memory Multiprocessor System on FPGA
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
Matteo Pusceddu, Simone Ceccolini, Gianluca Palerm...
CANPC
2000
Springer
14 years 8 days ago
Transparent Network Connectivity in Dynamic Cluster Environments
Improvements in microprocessor and networking performance have made networks of workstations a very attractive platform for high-end parallel and distributed computing. However, t...
Xiaodong Fu, Hua Wang, Vijay Karamcheti
INFOCOM
2006
IEEE
14 years 1 months ago
Relayed Multicast Scheme in IEEE 802.11 Wireless LAN Systems
— we propose a novel multicast scheme that can provide quality-of-service (QoS) to multicast service over IEEE 802.11 wireless LANs by utilizing MAC layer relay. We develop the d...
Kang Jin Yoon, Young Yong Kim