1073 search results - page 47 / 215 » Reasoning about Continuous Processes |
ISPW
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
DESRIST
2010
Springer
14 years 1 months ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
ASWEC
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
FM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
ISPW
2005
IEEE
14 years 3 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...