2004 search results - page 233 / 401 » Comparison of Model Checking Tools for Information Systems |
150
Voted
LOCWEB
2009
ACM
15 years 11 months ago
2009
ACM
As a tool for mitigating the potential privacy risks of gathering and transmitting location information on the Web, we suggest in this paper a model for conveying location informa...
165
Voted
TCS
2010
14 years 11 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
149
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
148
click to vote
ENTCS
2008
15 years 4 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
170
click to vote
IDA
2008
Springer
15 years 4 months ago
2008
Springer
We developed Relational Data Mining approach which allows to overcome essential limitations of the Data Mining and Knowledge Discovery techniques. In the paper the approach was im...