2226 search results - page 210 / 446 » Pdk: The System and Its Language |
163
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
Among the advantages of visual dataflow programming is that it can give the user a sense of location for the data in a computation. This can help novices build a mental picture of...
158
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
190
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a lower bound on the number of rounds required by Concurrent Zero-Knowledge proofs for languages in NP. It is shown that in the context of Concurrent Zero-Know...
160
click to vote
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
208
click to vote
WIFT
1998
IEEE
15 years 10 months ago
1998
IEEE
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...