1980 search results - page 163 / 396 » Compositional Model Checking of Real Time Systems |
138
Voted
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
146
click to vote
ICPPW
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— In the sporadic task model, a task is characterized by three parameters — an execution requirement, a relative deadline, and a period parameter — and has the interp...
131
click to vote
EWCBR
2008
Springer
15 years 3 months ago
2008
Springer
Case-Based Planning (CBP) is an effective technique for solving planning problems that has the potential to reduce the computational complexity of the generative planning approache...
134
click to vote
IJCV
2006
15 years 1 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
122
click to vote
PVLDB
2010
15 years 8 days ago
2010
Our analysis of many real-world event based applications has revealed that existing Complex Event Processing technology (CEP), while effective for efficient pattern matching on e...