800 search results - page 40 / 160 » Towards a formalization of budgets |
EICS
2010
ACM
15 years 3 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
100
click to vote
DIAGRAMS
2004
Springer
15 years 2 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
CSFW
2000
IEEE
15 years 2 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
103
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
72
Voted
DAGSTUHL
2007
15 years 17 days ago
2007
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...