3653 search results - page 490 / 731 » On Recognizable Timed Languages |
177
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
147
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...
140
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Java programming environment is increasingly being used to build large-scale multi-language applications. Whether these applications combine Java with other languages for legac...
154
click to vote
COLT
2000
Springer
15 years 11 months ago
2000
Springer
Good-Turing adjustments of word frequencies are an important tool in natural language modeling. In particular, for any sample of words, there is a set of words not occuring in tha...
162
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...