2043 search results - page 178 / 409 » Reasoning About Security Models |
181
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
139
click to vote
SPIN
2005
Springer
15 years 11 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...
152
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
143
click to vote
ECML
2007
Springer
15 years 10 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...
157
click to vote
BIS
2006
15 years 7 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...