4815 search results - page 434 / 963 » A Pattern Approach to Modeling the Provider Selection Proble... |
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
172
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
— In Cognitive Radio Networks, nodes can work on different frequency bands. Existing routing proposals help nodes select frequency bands without considering the effect of band sw...
169
click to vote
EUROMICRO
2007
IEEE
16 years 23 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
161
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
For the first time, we present an AM-FM image model that, in addition to being remarkably consistent with human visual perception, also provides perfect reconstruction of the imag...
193
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...