7681 search results - page 127 / 1537 » Typed Membrane Systems |
209
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
159
click to vote
PVLDB
2010
15 years 5 months ago
2010
Form-style interfaces have been widely used to allow users to access information. In this demonstration paper, we develop a new search paradigm in form-style query interfaces, cal...
152
click to vote
ICITS
2009
15 years 4 months ago
2009
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
179
click to vote
IEEEIAS
2008
IEEE
16 years 1 months 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...
172
click to vote
PPDP
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...