Sciweavers

2275 search results - page 195 / 455
» Object Evolution by Model Evolution
Sort
View
89
Voted
ACTA
2007
106views more  ACTA 2007»
15 years 18 days ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
ER
2010
Springer
168views Database» more  ER 2010»
14 years 11 months ago
Complexity of Reasoning over Temporal Data Models
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
88
Voted
STOC
2009
ACM
137views Algorithms» more  STOC 2009»
16 years 1 months ago
Mixing time for the solid-on-solid model
We analyze the mixing time of a natural local Markov chain (the Glauber dynamics) on configurations of the solid-onsolid model of statistical physics. This model has been proposed...
Fabio Martinelli, Alistair Sinclair
120
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
Foundations of Temporal Conceptual Data Models
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
Alessandro Artale, Enrico Franconi
98
Voted
CANS
2005
Springer
120views Cryptology» more  CANS 2005»
15 years 6 months ago
A New Model for Dynamic Intrusion Detection
Building on the concepts and the formal definitions of self, nonself, antigen, and detector introduced in the research of network intrusion detection, the dynamic evolution models...
Tao Li, XiaoJie Liu, Hongbin Li