854 search results - page 47 / 171 » Addressing Dynamic Issues of Program Model Checking |
101
click to vote
JANCL
2007
15 years 2 months ago
2007
The aim of this paper is to give new kinds of modal logics suitable for reasoning about regions in discrete spaces. We call them dynamic logics of the region-based theory of discr...
113
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
107
click to vote
ACSAC
2010
IEEE
15 years 12 days ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
132
Voted
ACMICEC
2008
ACM
15 years 4 months ago
2008
ACM
Supply Chain Management (SCM) involves a number of interrelated activities from negotiating with suppliers to competing for customer orders and scheduling the manufacturing proces...
105
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Spreadsheet engineering adapts the lessons of software engineering to spreadsheets, providing eight principles as a framework for organizing spreadsheet programming recommendation...