2663 search results - page 92 / 533 » How to Choose a Timing Model |
168
Voted
RTCSA
2008
IEEE
16 years 15 days 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...
135
click to vote
ICECCS
2007
IEEE
16 years 13 days 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 ...
135
Voted
IEAAIE
2009
Springer
16 years 21 days 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...
141
click to vote
HICSS
2008
IEEE
16 years 18 days 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...
166
click to vote
CIKM
2005
Springer
15 years 8 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...