928 search results - page 108 / 186 » Interpolation-sequence based model checking |
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
118
Voted
IJIT
2004
15 years 2 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
74
Voted
USAB
2008
15 years 2 months ago
2008
The present study examines the relative importance of a series of known and expected factors that highly affect threat detection performance in aviation security X-ray screening. E...
94
Voted
IEEECIT
2006
IEEE
15 years 6 months ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
110
Voted
APN
2004
Springer
15 years 4 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...