67 search results - page 5 / 14 » Formal modeling and quantitative analysis of KLAIM-based mob... |
89
Voted
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
ENTCS
2006
14 years 9 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
101
click to vote
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
76
Voted
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Substantial financial and technological investments by private and public organizations have resulted in the delivery of the third generation mobile technologies, although the jou...
104
click to vote
DATE
2009
IEEE
15 years 24 days ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...