7430 search results - page 798 / 1486 » Programming Applications in CIFF |
239
click to vote
CARDIS
2000
Springer
15 years 12 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
274
click to vote
ECOOP
2000
Springer
15 years 12 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
206
click to vote
ECOOP
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...
198
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
205
click to vote
ISCAS
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper, we present the application of dynamic trellis diagrams (DTDs) to automatic translation of data flow graphs (DFGs) into highly optimized programs for digital signal ...