9006 search results - page 1612 / 1802 » Modeling Software |
128
Voted
IUI
1999
ACM
15 years 8 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
158
Voted
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
120
Voted
FOSSACS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...
152
Voted
AC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In 1982, Bennett and Brassard suggested a new way to provide privacy in long distance communications with security based on the correctness of the basic principles of qua...
120
Voted
TIC
1998
Springer
15 years 7 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...