2663 search results - page 92 / 533 » How to Choose a Timing Model |
148
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
114
Voted
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...
121
click to vote
IEAAIE
2009
Springer
15 years 11 months ago
2009
Springer
A decision support system model is described to advise nature park managers. It applies dynamic modelling techniques to relate abiotic characteristics of a site over time to specie...
127
Voted
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Online group work has been identified as an important issue in Web-based education for a long time. With the prevalence of instant messaging in adolescents, more and more students...
150
click to vote
CIKM
2005
Springer
15 years 7 months ago
2005
Springer
We consider the general problem of tracking moving objects in sensor networks. The specific application we consider is that of tracking a chemical plume moving over a large infra...