4666 search results - page 695 / 934 » Equations on Timed Languages |
140
click to vote
LCTRTS
2001
Springer
15 years 9 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
139
click to vote
DATE
2000
IEEE
15 years 9 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...
123
click to vote
FOCS
2000
IEEE
15 years 9 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...
109
click to vote
IPPS
2000
IEEE
15 years 9 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...
126
click to vote
COLT
2000
Springer
15 years 9 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...