Sciweavers

5630 search results - page 20 / 1126
» Computability in Specification
Sort
View
ISORC
2002
IEEE
15 years 7 months ago
On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap
Leandro Buss Becker, R. H. Höltz, Carlos Edua...
58
Voted
IPPS
2000
IEEE
15 years 7 months ago
Concurrent Specification and Timing Analysis of Digital Hardware Using SDL
Kenneth J. Turner, F. Javier Argul-Marin, Stephen ...
69
Voted
ARITH
2001
IEEE
15 years 6 months ago
A Decimal Floating-Point Specification
Michael F. Cowlishaw, Eric M. Schwarz, Ronald M. S...
ELPUB
2007
ACM
15 years 6 months ago
On the Evolution of Computer Terminology and the SPOT On-Line Dictionary Project
In this paper we discuss the issue of ICT terminology and translations of specific technical terms. We also present SPOT
Jiri Hynek, Premek Brada