12774 search results - page 327 / 2555 » A Framework for Proof Systems |
189
click to vote
REFSQ
2010
Springer
2010
Springer
Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations
15 years 8 months ago
[Context and motivation] The increasing demand of software systems to process and manage sensitive information has led to the need that software systems should comply with relevant...
164
click to vote
DAIS
2009
15 years 7 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
219
click to vote
TCS
2011
15 years 1 months ago
2011
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
185
click to vote
CONCUR
2004
Springer
16 years 5 days ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
136
Voted
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...