Sciweavers

983 search results - page 15 / 197
» A Better Update Policy
Sort
View
GECCO
2004
Springer
14 years 27 days ago
Modeling Selection Intensity for Toroidal Cellular Evolutionary Algorithms
We present quantitative models for the selection pressure of cellular evolutionary algorithms structured in two dimensional regular lattices. We derive models based on probabilisti...
Mario Giacobini, Enrique Alba, Andrea Tettamanzi, ...
CAISE
2006
Springer
13 years 11 months ago
Structuring Safety Policy Decomposition
Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...
Martin Hall-May, Tim Kelly
DEON
2010
Springer
14 years 9 days ago
Privacy Policies with Modal Logic: The Dynamic Turn
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
Guillaume Aucher, Guido Boella, Leendert van der T...
LPNMR
1995
Springer
13 years 11 months ago
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
Dov M. Gabbay, Laura Giordano, Alberto Martelli, N...
ASE
2002
99views more  ASE 2002»
13 years 7 months ago
XMILE: An XML Based Approach for Incremental Code Mobility and Update
The eXtensible Markup Language (XML) was originally defined to represent Web content, but it is increasingly used to define languages, such as XPL, that are used for coding execut...
Cecilia Mascolo, Luca Zanolin, Wolfgang Emmerich