2055 search results - page 316 / 411 » Generic Model Refactorings |
101
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
119
click to vote
IROS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— Particle Filters have been widely used as a powerful optimization tool for nonlinear, non-Gaussian dynamic models such as Simultaneous Localization and Mapping (SLAM) a...
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...
114
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Guidelines and consistency rules of UML are used to control the degrees of freedom provided by the language to prevent faults. Guidelines are used in specific domains (e...
135
click to vote
ICWE
2009
Springer
15 years 8 months ago
2009
Springer
The lack of QoS attributes and their values is still one of the fundamental drawbacks of web service technology. Most approaches for modelling and monitoring QoS and web service pe...