Sciweavers

12050 search results - page 1973 / 2410
» Modeling and Simulation
Sort
View

Publication
219views
17 years 3 months ago
Achieving QoS for TCP Traffic in Satellite Networks with Differentiated Services
Satellite networks play an indispensable role in providing global Internet access and electronic connectivity. To achieve such a global communications, provisioning of quality of s...
Arjan Durresi, Sastri Kota, Mukul Goyal, Raj Jain,...
CHI
2007
ACM
16 years 5 months ago
Context & usability testing: user-modeled information presentation in easy and difficult driving conditions
A 2x2 enhanced Wizard-of-Oz experiment (N = 32) was conducted to compare two different approaches to presenting information to drivers in easy and difficult driving conditions. Da...
Jiang Hu, Andi Winterboer, Clifford Nass, Johanna ...
ISPASS
2010
IEEE
15 years 11 months ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...
QEST
2009
IEEE
15 years 11 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
ESTIMEDIA
2009
Springer
15 years 11 months ago
System-level MP-SoC design space exploration using tree visualization
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
Toktam Taghavi, Andy D. Pimentel, Mark Thompson
« Prev « First page 1973 / 2410 Last » Next »