1781 search results - page 262 / 357 » An Emerging Need for a New Software Engineering Method |
108
click to vote
FASE
2008
Springer
15 years 26 days ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
ENTCS
2010
14 years 8 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
ICCAD
2010
IEEE
14 years 9 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
94
Voted
ICCS
2004
Springer
15 years 4 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
122
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...