3021 search results - page 214 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
152
click to vote
TASLP
2011
14 years 11 months ago
2011
—In this paper, a novel tempo detection system is presented, which suggests the use of a hybrid multiband decomposition. The model tracks the periodicities of different signal pr...
137
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
157
click to vote
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
135
click to vote
PPPJ
2003
ACM
15 years 10 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
147
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...