4919 search results - page 663 / 984 » A Process-Ontological Model for Software Engineering |
122
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
149
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
Medical information delivery for users with different levels of expertise will be required for the manned mission to Mars due to limited potential for communication with Earth. Th...
151
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
182
click to vote
ICFEM
2009
Springer
15 years 11 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...
111
click to vote
ISPASS
2006
IEEE
15 years 10 months ago
2006
IEEE
The latest high-performance IBM PowerPC microprocessor, the POWER5 chip, poses challenges for performance model validation. The current stateof-the-art is to use simple hand-coded...