10038 search results - page 341 / 2008 » Model Checking for Managers |
161
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
This work is in the domain of Electronic Document Management (EDM) [1]. The documents can be an electronic writing, an image, a sound file, a network protocol message, a set of da...
197
click to vote
MR
2007
15 years 6 months ago
2007
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
182
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advent of e-Commerce, enterprises can no longer rely on static business strategies. They have to be able to cope in dynamic and uncertain electronic environments, especia...
152
Voted
AMC
2008
15 years 6 months ago
2008
In this paper, we investigate the existence of nontrivial periodic solutions for an integrated pest management model which is impulsively controlled by means of biological and che...
182
click to vote
EOR
2008
15 years 6 months ago
2008
Passengers travelling in public transportation networks often have to use different lines to cover the trip from their origin to the desired destination. As a consequence, the rel...