Model-Integrated
Computing
Model-Integrated Computing (MIC) addresses
the problems of developing software integrated systems by providing
rich, domain-specific modeling environments including model
analysis and model-based program synthesis tools. This technology
is used to create and evolve integrated, multiple-aspect models
using concepts, relations, and model composition principles
routinely used in the specific field, to facilitate systems/software
engineering analysis of the models, and to automatically synthesize
applications from the models. MIC has been used to develop many
different technologies and solutions for industry and government.
Please browse our updated web presense for more details of our
technology, research, and projects. More information on MIC
is available here.
|
|
 |
|
Goto the new ISIS website!
November 6, 2007
A paper authored by Branislav Kusy, Akos Ledeczi and Xenofon Koutsoukos entitled "Tracking Mobile Nodes Using RF Doppler Shifts" won the Best Paper Award at the prestigious ACM SenSys conference in Sydney, Australia. The paper introduces a novel technique of measuring the tiny frequency change of a 430 MHz radio signal caused by the slow movement of the transmitter.
|
|
|
