10038 search results - page 604 / 2008 » Model Checking for Managers |
183
click to vote
IEAAIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
194
click to vote
BNCOD
2009
15 years 5 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
174
click to vote
TNN
2010
15 years 1 months ago
2010
This paper presents a new approach for identifying and validating the F/A-18 aeroservoelastic model, based on flight flutter tests. The neural network (NN), trained with five diffe...
316
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
301
click to vote
VLDB
2004
ACM
16 years 7 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...