10038 search results - page 508 / 2008 » Model Checking for Managers |
177
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
Traditional databases store sets of relatively static records with no pre-defined notion of time, unless timestamp attributes are explicitly added. While this model adequately rep...
185
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
153
click to vote
PADS
1998
ACM
15 years 11 months ago
1998
ACM
A considerable amount of effort in the DIS community has been devoted to developing efficient, scaleable, mechanisms for distributing state updates and interaction information in ...
206
click to vote
ACSC
2001
IEEE
15 years 10 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
164
click to vote
WSC
2008
15 years 9 months ago
2008
Discrete event simulation (DES) projects rely heavily on high input data quality. Therefore, the input data management process is very important and, thus, consumes an extensive a...