10038 search results - page 1820 / 2008 » Model Checking for Managers |
145
click to vote
DOLAP
1998
ACM
15 years 8 months ago
1998
ACM
Star schema has been a typical model for both online transaction processing in traditional databases and online analytical processing in large data warehouses. In the star schema,...
167
click to vote
VRML
1998
ACM
15 years 8 months ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
119
click to vote
ER
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
134
click to vote
KI
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In Distributed Problem-solving (DPS) systems a group of purposefully designed computational agents interact and co-ordinate their activities so as to jointly achieve a gl...
165
click to vote
ICC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper addresses support for nzulti-party multimedia applications delivered across datagram wide-area networks such as the Internet. Our approach is to develop a novel retrans...