5203 search results - page 108 / 1041 » An approach to workflow modeling and analysis |
267
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...
156
click to vote
WSC
2007
15 years 8 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
199
click to vote
CAISE
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
162
click to vote
INFOCOM
2006
IEEE
16 years 8 days ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...
174
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...