Sciweavers

1816 search results - page 228 / 364
» Case study in modeling and simulation validation methodology
Sort
View
JIRS
2007
108views more  JIRS 2007»
15 years 5 months ago
Task-based Hardware Reconfiguration in Mobile Robots Using FPGAs
This paper presents a methodology for the realization of intelligent, task-based reconfiguration of the computational hardware for mobile robot applications. Task requirements are ...
Sesh Commuri, V. Tadigotla, L. Sliger
HASE
1998
IEEE
15 years 10 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
WWW
2009
ACM
16 years 6 months ago
Spatio-temporal models for estimating click-through rate
We propose novel spatio-temporal models to estimate clickthrough rates in the context of content recommendation. We track article CTR at a fixed location over time through a dynam...
Deepak Agarwal, Bee-Chung Chen, Pradheep Elango
BROADNETS
2007
IEEE
16 years 7 days ago
Modeling and analysis of worm interactions (war of the worms)
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...
Sapon Tanachaiwiwat, Ahmed Helmy
ICC
2007
IEEE
179views Communications» more  ICC 2007»
16 years 6 days ago
Finite Queuing Model Analysis for Energy and QoS Tradeoff in Contention-Based Wireless Sensor Networks
In contention-based sensor networks, nodes compete to access a shared channel for data transmission and collision is a common challenge. For power conservation, periodical active/s...
Jun Luo, Ling-ge Jiang, Chen He