2364 search results - page 225 / 473 » An Engine for Computing Well-Founded Models |
208
click to vote
SAC
2004
ACM
16 years 14 days ago
2004
ACM
In our present work we introduce the use of data fusion in the field of DoS anomaly detection. We present DempsterShafer’s Theory of Evidence (D-S) as the mathematical foundati...
182
Voted
SAC
2000
ACM
15 years 11 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...
232
Voted
MOBICOM
2004
ACM
16 years 14 days ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the e...
189
Voted
FOSSACS
2005
Springer
16 years 17 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
201
Voted
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...