77016 search results - page 447 / 15404 » Modelling |
183
Voted
MSWIM
2004
ACM
16 years 9 days ago
2004
ACM
This study addresses the problem of k-connectivity of a wireless multihop network consisting of randomly placed nodes with a common transmission range, by utilizing empirical regr...
167
click to vote
BPM
2004
Springer
16 years 8 days ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
147
click to vote
CAISE
2004
Springer
16 years 8 days ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
213
click to vote
FORMATS
2004
Springer
16 years 7 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
151
Voted
ISI
2004
Springer
16 years 7 days ago
2004
Springer
We aligned two fundamentally different models of smallpox transmission after a bioterrorist attack: A location-explicit multi-agent model (BioWar) and the conventional epidemiologi...