2859 search results - page 514 / 572 » A Programming Environment for Bousi-Prolog |
146
Voted
LCR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
118
Voted
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
139
Voted
GI
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
113
click to vote
POS
1987
Springer
15 years 7 months ago
1987
Springer
Conventional paging systems do not perform well with large object-oriented environments (such as Smalltalk-801 [GR83]) due to the fine granularity of objects and the persistence o...
111
Voted
USENIX
2008
15 years 5 months ago
2008
Foundation is a preservation system for users' personal, digital artifacts. Foundation preserves all of a user's data and its dependencies--fonts, programs, plugins, ker...