3081 search results - page 439 / 617 » A Formal Ontology of Properties |
172
click to vote
IEEEIAS
2008
IEEE
16 years 29 days ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
191
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
159
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
131
click to vote
CEC
2007
IEEE
16 years 27 days ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...
136
click to vote
GRC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— One of the relations used with granularity is indistinguishability, where distinguishable entities in a finer-grained granule are indistinguishable in a coarser-graine...