4880 search results - page 725 / 976 » Manuals as Structured Programs |
174
click to vote
ASE
2010
15 years 6 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
180
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A set of N independent Gaussian linear time invariant systems is observed by M sensors whose task is to provide the best possible steady-state causal minimum mean square estimate o...
149
click to vote
COR
2006
15 years 6 months ago
2006
Home health care, i.e. visiting and nursing patients in their homes, is a growing sector in the medical service business. From a staff rostering point of view, the problem is to f...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
192
click to vote
ESE
2006
15 years 6 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...