1728 search results - page 295 / 346 » The Size of Power Automata |
104
click to vote
ENGL
2008
14 years 12 months ago
2008
Vortices can be produced and ingested into the intake of a jet engine during high power operation in the vicinity of solid surfaces causing Foreign Object Damage (FOD) or compresso...
116
click to vote
DM
2006
14 years 12 months ago
2006
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
In Grids scheduling decisions are often made on the basis of jobs being either data or computation intensive: in data intensive situations jobs may be pushed to the data and in co...
SCN
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The Naccache-Stern (ns) knapsack cryptosystem is an original yet little-known public-key encryption scheme. In this scheme, the ciphertext is obtained by multiplying publ...
LMCS
2007
14 years 11 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...