10038 search results - page 399 / 2008 » Model Checking for Managers |
168
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
183
click to vote
CASCON
1996
15 years 8 months ago
1996
Management applications are sensitive to changes in application and system configuration. This coupling makes it difficult and expensive to develop management applications and kee...
208
click to vote
WOSP
2005
ACM
16 years 12 days ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
174
click to vote
ICEIS
2006
IEEE
16 years 26 days ago
2006
IEEE
The consideration of Product information or Knowledge management, product traceability or genealogy, and product life cycle management implies new strategies and approaches to mana...
203
Voted
APCCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
— A novel black-box model for time series of prices analysis is proposed. It is constructed using the technique of “shaping filter”. The model identification is then propos...