Sciweavers

557 search results - page 48 / 112
» From User Requirements to Tasks Descriptions in Real-Time Sy...
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 11 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
WECWIS
2006
IEEE
164views ECommerce» more  WECWIS 2006»
16 years 4 days ago
Agile Decision Agent for Service-Oriented E-Commerce Systems
In a service-oriented e-commerce environment, it is a crucial task to help consumers choose desired products efficiently from a huge amount of dynamically configured product can...
Jiyong Zhang, Pearl Pu, Boi Faltings
BMCBI
2006
128views more  BMCBI 2006»
15 years 6 months ago
Model-driven user interfaces for bioinformatics data resources: regenerating the wheel as an alternative to reinventing it
Background: The proliferation of data repositories in bioinformatics has resulted in the development of numerous interfaces that allow scientists to browse, search and analyse the...
Kevin L. Garwood, Christopher Garwood, Cornelia He...
LISA
2000
15 years 7 months ago
Pelendur: Steward of the Sysadmin
Here we describe Pelendur, a system for the management of common system operation tasks. Specifically, Pelendur focuses on the management of user accounts and related information ...
Matt Curtin, Sandy Farrar, Tami King
ICALT
2010
IEEE
15 years 6 months ago
Towards a Competence Based System for Recommending Study Materials (CBSR)
— Most e-learning systems require intervention from a teacher. The development of adaptive hypermedia systems, such as intelligent tutoring systems, aimed to reduce the teachers...
Athitaya Nitchot, Lester Gilbert, Gary B. Wills