1802 search results - page 83 / 361 » Complexity Theory for Operators in Analysis |
163
click to vote
FROCOS
2007
Springer
16 years 7 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
156
Voted
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
152
click to vote
FSEN
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
156
Voted
CCS
2006
ACM
15 years 9 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
179
click to vote
CPAIOR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We propose two algorithms achieving generalized arc consistency for the soft global cardinality constraint with variable-based violation and with value-based violation. T...