Sciweavers

3432 search results - page 332 / 687
» Language as a Complex Adaptive System
Sort
View
JCS
2008
119views more  JCS 2008»
15 years 6 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
SIGMOD
2007
ACM
160views Database» more  SIGMOD 2007»
16 years 6 months ago
Cayuga: a high-performance event processing engine
We propose a demonstration of Cayuga, a complex event monitoring system for high speed data streams. Our demonstration will show Cayuga applied to monitoring Web feeds; the demo w...
Lars Brenna, Alan J. Demers, Johannes Gehrke, Ming...
TARK
2007
Springer
16 years 8 days ago
Alternating-time temporal logic with explicit strategies
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...
UML
2005
Springer
15 years 11 months ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb
IFIP
1994
Springer
15 years 10 months ago
Domain-Oriented design Environments
Domain-oriented design environments are cooperative problem-solving systems that support designers in complex design tasks. In this paper we present the facilities and architectur...
Gerhard Fischer