1380 search results - page 86 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
CONCUR
2003
Springer
14 years 2 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
JSW
2008
13 years 9 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Wh...
ECOOPW
2001
Springer
14 years 1 months ago
2001
Springer
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...
ENC
2003
IEEE
14 years 2 months ago
2003
IEEE
Societies are regulated by norms and, consequently, autonomous agents that want to be part of them must be able to reason about norms. However, no reasoning can be done if agents ...