Sciweavers

3451 search results - page 269 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
RTCSA
2005
IEEE
16 years 6 days ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
ICSE
2003
IEEE-ACM
16 years 6 months ago
Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...
Jeffry T. Russell, Margarida F. Jacome
167
Voted
WELCOM
2001
Springer
111views ECommerce» more  WELCOM 2001»
15 years 11 months ago
User Modelling for Live Help Systems
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...
Johan Aberg, Nahid Shahmehri, Dennis Maciuszek
MICRO
2007
IEEE
159views Hardware» more  MICRO 2007»
16 years 27 days ago
Software-Based Online Detection of Hardware Defects Mechanisms, Architectural Support, and Evaluation
As silicon process technology scales deeper into the nanometer regime, hardware defects are becoming more common. Such defects are bound to hinder the correct operation of future ...
Kypros Constantinides, Onur Mutlu, Todd M. Austin,...
IJNSEC
2007
157views more  IJNSEC 2007»
15 years 6 months ago
Balancing Trust and Incentive in Peer-to-Peer Collaborative System
In order to maximize resource utilization as well as providing trust management in P2P computing environments, we propose a novel framework - Trust-Incentive Service Management (T...
Yu Zhang, Li Lin, Jinpeng Huai