9110 search results - page 1562 / 1822 » Formally-Based Design Evaluation |
180
click to vote
JCM
2008
15 years 4 months ago
2008
In this paper, we present a new simulation platform for complex, radio standard spanning mobile Ad Hoc networks. SimANet - Simulation Platform for Ambient Networks - allows the coe...
146
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
When users access information from text, they engage in strategic fixation, visually scanning the text to focus on regions of interest. However, because speech is both serial and ...
165
click to vote
JUCS
2008
15 years 4 months ago
2008
Abstract: Collaborative learning systems can be constructed following the serviceoriented computing paradigm. This allows educators to integrate external tools, offered as services...
124
click to vote
EMINDS
2007
15 years 4 months ago
2007
Abstract Current text-based mobile chat systems hinder navigation with long chat archive in a limited screen display. Moreover, it is time consuming and cumbersome to track message...
139
click to vote
JSA
2006
15 years 4 months ago
2006
It is often possible to greatly improve the performance of a hardware system via the use of predictive (speculative) techniques. For example, the performance of out-of-order micro...