880 search results - page 155 / 176 » Model checking erlang programs: the functional approach |
266
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
141
click to vote
LOBJET
2006
15 years 4 months ago
2006
Many object-oriented software applications contain implicit business rules. Although there exist many approaches that advocate the separation of rules, the rules' connections ...
193
click to vote
PATMOS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
155
click to vote
SQJ
2002
15 years 4 months ago
2002
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
152
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...