Sciweavers

670 search results - page 69 / 134
» Modeling Workflow within Distributed Systems
Sort
View
124
Voted
HCI
2009
15 years 12 days ago
Modeling Human Actors in an Intelligent Automated Warehouse
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...
Davy Preuveneers, Yolande Berbers
114
Voted
IPPS
2003
IEEE
15 years 8 months ago
So Many States, So Little Time: Verifying Memory Coherence in the Cray X1
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
Dennis Abts, Steve Scott, David J. Lilja
157
Voted
HPCC
2007
Springer
15 years 6 months ago
An Exploration of Performance Attributes for Symbolic Modeling of Emerging Processing Devices
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
Sadaf R. Alam, Nikhil Bhatia, Jeffrey S. Vetter
PADS
2005
ACM
15 years 8 months ago
Parallel Event-Driven Neural Network Simulations Using the Hodgkin-Huxley Neuron Model
Neural systems are composed of a large number of highly-connected neurons and are widely simulated within the neurological community. In this paper, we examine the application of ...
Collin J. Lobb, Zenas Chao, Richard M. Fujimoto, S...
IJCSA
2007
88views more  IJCSA 2007»
15 years 2 months ago
A New Quantitative Trust Model for Negotiating Agents using Argumentation
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...
Jamal Bentahar, John-Jules Ch. Meyer