19985 search results - page 297 / 3997 » Modelling Ecological Data |
165
click to vote
FORTE
2001
15 years 8 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
133
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We investigate simplified models of computer data networks and examine how the
248
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
170
click to vote
WSC
2001
15 years 8 months ago
2001
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...