Sciweavers

671 search results - page 10 / 135
» Computer Aided Modelling Exercises
Sort
View
CHI
2009
ACM
14 years 10 months ago
Learning to predict information needs: context-aware display as a cognitive aid and an assessment tool
We discuss the problem of assessing and aiding user performance in dynamic tasks that require rapid selection among multiple information sources. Motivated by research in human se...
Bradley C. Love, Matt Jones, Marc T. Tomlinson, Mi...
IWCMC
2006
ACM
14 years 3 months ago
Analysis of mobile beacon aided in-range localization scheme in ad hoc wireless sensor networks
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...
T. V. Srinath, Anil Kumar Katti, V. S. Ananthanara...
WSC
1998
13 years 11 months ago
Distributed Simulation Modeling: a Comparison of HLA, CORBA, and RMI
The execution of distributed simulations has become increasingly important to the Department of Defense (DOD). This paper compares three architectures for supporting distributed c...
Arnold H. Buss, Leroy Jackson
ISM
2006
IEEE
113views Multimedia» more  ISM 2006»
14 years 3 months ago
Individualization and Flexibility through Computer Algebra Systems in Virtual Laboratories
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
Sabina Jeschke, Thomas Richter
HASE
2008
IEEE
13 years 10 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri