Sciweavers

3984 search results - page 368 / 797
» Using linked data for systems management
Sort
View
CIKM
2000
Springer
15 years 8 months ago
Extending OLAP Querying to External Object Databases
On-Line Analytical Processing (OLAP) systems based on a multidimensional view of data have found widespread use in business applications and are being used increasingly in non-sta...
Torben Bach Pedersen, Arie Shoshani, Junmin Gu, Ch...
FAST
2007
15 years 5 months ago
Data ONTAP GX: A Scalable Storage Cluster
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
Michael Eisler, Peter Corbett, Michael Kazar, Dani...
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 2 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
IASTEDSEA
2004
15 years 5 months ago
Generic approach to internationalization of websites
There is a growing interest in international collaboration, and therefore a need for internationalized software that can be localized to various languages. Traditionally, systems ...
Tomasz Müldner, Darcy G. Benoit, Fei Wang
ACSAC
2005
IEEE
15 years 10 months ago
Paranoid: A Global Secure File Access Control System
The Paranoid file system is an encrypted, secure, global file system with user managed access control. The system provides efficient peer-to-peer application transparent file ...
Fareed Zaffar, Gershon Kedem, Ashish Gehani