Sciweavers

5548 search results - page 399 / 1110
» Programming a Distributed System Using Shared Objects
Sort
View
CAV
2008
Springer
108views Hardware» more  CAV 2008»
15 years 8 months ago
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
Akash Lal, Thomas W. Reps
POS
2000
Springer
15 years 9 months ago
Hyper-Code Revisited: Unifying Program Source, Executable, and Data
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
Evangelos Zirintsis, Graham N. C. Kirby, Ronald Mo...
201
Voted
HICSS
2009
IEEE
165views Biometrics» more  HICSS 2009»
16 years 1 months ago
Studying Knowledge Management System Success in System Administration
Significant temporal and monetary costs are associated with the development and implementation of a knowledge management system (KMS). To justify this investment, it is important ...
Nicole F. Velasquez, Alexandra Durcikova, Rajiv Sa...
DEXA
1994
Springer
92views Database» more  DEXA 1994»
15 years 10 months ago
OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
Elsa L. Gunter, Leonid Libkin
DOA
2000
93views more  DOA 2000»
15 years 7 months ago
Meta Object Approach to Database Schema Integration
Database schema integration is significant not only in building multidatabase systems but also in data warehousing. Metadata, which define schemas, are normally involved in the su...
J. Tan, Arkady B. Zaslavsky, Andy Bond