10899 search results - page 480 / 2180 » The GP Programming System |
164
click to vote
VL
1998
IEEE
15 years 11 months ago
1998
IEEE
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
198
click to vote
APN
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
211
click to vote
ECOOPW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
159
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
Events play an important role in the construction of most software that involves interaction or simulation. Typically, programmers make use of a fixed set of low level events supp...
206
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...