490 search results - page 40 / 98 » Abstraction Augmented Markov Models |
105
click to vote
DASFAA
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
102
click to vote
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
142
click to vote
VTC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Multi-hop relaying has attracted considerable attention recently as a key technique for improving cell coverage and throughput in wireless communication. We modelled va...
125
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
104
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...