Sciweavers

2181 search results - page 258 / 437
» Standard Software as Microworld
Sort
View
IWFM
1998
125views Formal Methods» more  IWFM 1998»
14 years 4 days ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
WSC
1997
14 years 4 days ago
SimTutor: A Multimedia Intelligent Tutoring System for Simulation Modeling
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
Tajudeen A. Atolagbe, Vlatka Hlupic
WSC
1997
14 years 4 days ago
Design and Implementation of HLA Time Management in the RTI Version F.0
The DoD High Level architecture (HLA) has recently become the required method for the interconnection of all DoD computer simulations. The HLA addresses the rules by which simulat...
Christopher D. Carothers, Richard Fujimoto, Richar...
WSC
1997
14 years 4 days ago
A Simulation-Based Production Testbed
Researchers at the National Institute of Standards and Technology have been developing a simulation-based production testbed. This testbed contains continuous simulation models of...
Albert Jones, Michael Iuliano
CLEF
2009
Springer
13 years 12 months ago
TALP at GikiCLEF 2009
This paper describes our experiments in Geographical Information Retrieval with the Wikipedia collection in the context of our participation in the GikiCLEF 2009 Multilingual task...
Daniel Ferrés, Horacio Rodríguez