1760 search results - page 308 / 352 » A System to Mark Programs Automatically |
119
click to vote
RTAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
119
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
In an experimental environment, we simulated the situation of a user who gives speech input to a system while walking through an airport. The time pressure on the subjects and the ...
164
Voted
NSPW
1998
ACM
15 years 6 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
132
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
139
Voted
CG
2000
Springer
15 years 2 months ago
2000
Springer
In this paper we present a sketch modelling system which we call Stilton. The program resembles a desktop VRML browser, allowing a user to navigate a 3D model in a perspective pro...