1540 search results - page 90 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
IVS
2008
13 years 7 months ago
2008
Investigative analysts who work with collections of text documents connect embedded threads of evidence in order to formulate hypotheses about plans and activities of potential in...
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
ENVSOFT
2007
13 years 7 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
WOA
2010
13 years 5 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...