10038 search results - page 1531 / 2008 » Model Checking for Managers |
234
click to vote
DOLAP
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we describe the design of a data warehousing system for an engineering company ‘R’. This system aims to assist users in retrieving data for business analysis in...
194
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Applications have an increasing need to manage semistructured data such as data encoded in XML along with conventional structured data. We extend the structured object database ...
176
click to vote
WETICE
1998
IEEE
15 years 11 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
194
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
172
Voted
SPATIALCOGNITION
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes the aspect map approach to model the processing of geographic maps. Geographic maps are described as spatial representation media which play an important role ...