10038 search results - page 1815 / 2008 » Model Checking for Managers |
147
Voted
ICDCS
2000
IEEE
15 years 9 months ago
2000
IEEE
The increasing popularity and diversity of collaborative applications prompts a need for highly secure and reliable communication platforms for dynamic peer groups. Security mecha...
106
click to vote
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...
141
click to vote
DOLAP
2000
ACM
15 years 8 months ago
2000
ACM
A multidimensional database can be seen as a collection of multidimensional cubes, from which information is usually extracted by aggregation; aggregated data can be calculated ei...
122
click to vote
HT
2000
ACM
15 years 8 months ago
2000
ACM
This paper discusses hypermedia aspects of the design of a Virtual Project Room. Based on ethnographic and participatory design studies of landscape architects’ and architects&#...
138
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...