Sciweavers

249 search results - page 27 / 50
» Context Sensitivity in Logical Modeling with Time Delays
Sort
View
WSC
2007
15 years 2 months ago
Modeling the performance of low latency queueing for emergency telecommunications
Event simulation and analytic modeling are used to evaluate the performance of Low Latency Queueing (LLQ), a queueing discipline available in some Internet packet switching router...
Denise M. Bevilacqua Masi, Martin J. Fischer, Davi...
DDEP
2000
Springer
15 years 4 months ago
Context-Aware Digital Documents Described in a High-Level Petri Net-Based Hypermedia System
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
Jin-Cheon Na, Richard Furuta
JOCN
2010
60views more  JOCN 2010»
14 years 10 months ago
Responding with Restraint: What Are the Neurocognitive Mechanisms?
■ An important aspect of cognitive control is the ability to respond with restraint. Here, we modeled this experimentally by measuring the degree of response slowing that occurs...
Sara Jahfari, Cathy M. Stinear, Mike Claffey, Fred...
ICCAD
2007
IEEE
175views Hardware» more  ICCAD 2007»
15 years 8 months ago
Compact modeling of variational waveforms
— In ultra-deep sub-micron technologies, modeling waveform shapes correctly is essential for accurate timing and noise analysis. Due to process and environmental variations, ther...
Vladimir Zolotov, Jinjun Xiong, Soroush Abbaspour,...
TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
15 years 3 months ago
A Markov Chain Model Checker
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...