3533 search results - page 216 / 707 » Information theory and Thermodynamics |
148
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...
147
click to vote
IV
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper discusses the history of domain maps in the context of similar developments in the field of cartography. Drawing from its underlying definitions, this paper identifies ...
205
click to vote
CAI
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
168
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book “Formal Concept Analysis” by Ganter and Wille, in the Isabelle/H...
140
click to vote
ICALP
1999
Springer
15 years 11 months ago
1999
Springer
We demonstrate an ⍀( pn1ϩ1/p) lower bound on the average-case running time (uniform distribution) of p-pass Shellsort. This is the first nontrivial general lower bound for avera...