489 search results - page 52 / 98 » Reasoning about confidentiality at requirements engineering ... |
103
click to vote
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
92
Voted
ECML
2007
Springer
15 years 4 months ago
2007
Springer
Most traffic management and optimization tasks, such as accident detection or optimal vehicle routing, require an ability to adequately model, reason about and predict irregular an...
89
Voted
SYNTHESE
2008
15 years 12 days ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
TSE
2002
15 years 4 days ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...