7167 search results - page 1119 / 1434 » A Technique for Invariant Generation |
170
Voted
ER
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
226
Voted
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
255
click to vote
MAS
1998
Springer
15 years 11 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
187
click to vote
OOPSLA
1998
Springer
15 years 11 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
234
click to vote
SMILE
1998
Springer
15 years 11 months ago
1998
Springer
As virtual worlds demand ever more realistic 3D models, attention is being focussed on systems that can acquire graphical models from real objects. This paper describes a system wh...