7694 search results - page 769 / 1539 » An Implementation of an Applicative File System |
188
click to vote
SAS
2000
Springer
15 years 11 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
208
click to vote
DBVIS
1995
15 years 11 months ago
1995
Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...
194
click to vote
VVEIS
2008
15 years 9 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
196
click to vote
WSC
1998
15 years 8 months ago
1998
This study details the synergistic application of ergonomic analysis, discrete-process simulation, and statistical analysis to the problems of determining the optimum design for a...
192
click to vote
PUC
1998
15 years 7 months ago
1998
Palmtop PCs with infrared transceivers provide a userfriendly, intelligent, and extensible alternative to the remote controls traditionally used to control home appliances. We des...