1139 search results - page 197 / 228 » Aligning Goal Models and Business Models - extended abstract |
122
click to vote
MMMACNS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
170
click to vote
ABIALS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
190
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
144
click to vote
WECWIS
2003
IEEE
15 years 7 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
123
click to vote
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...