Sciweavers

227 search results - page 12 / 46
» P Systems and Finite Automata
Sort
View
CRYPTO
2012
Springer
327views Cryptology» more  CRYPTO 2012»
12 years 10 days ago
Functional Encryption for Regular Languages
We provide a functional encryption system that supports functionality for regular languages. In our system a secret key is associated with a Deterministic Finite Automata (DFA) M....
Brent Waters
FBT
1998
119views Formal Methods» more  FBT 1998»
13 years 11 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
LPAR
2010
Springer
13 years 7 months ago
Coping with Selfish On-Going Behaviors
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
Orna Kupferman, Tami Tamir
CICLING
2003
Springer
14 years 3 months ago
Positive Grammar Checking: A Finite State Approach
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
Sylvana Sofkova Hashemi, Robin Cooper, Robert Ande...
CORR
2008
Springer
116views Education» more  CORR 2008»
13 years 10 months ago
The finite harmonic oscillator and its applications to sequences, communication and radar
A novel system, called the oscillator system, consisting of order of p 3 functions (signals) on the finite field p; with p an odd prime, is described and studied. The new functions...
Shamgar Gurevich, Ronny Hadani, Nir A. Sochen