781 search results - page 92 / 157 » Analysis and improvement of business process models using sp... |
ECMDAFA
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
ISOLA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
AVSS
2007
IEEE
14 years 3 months ago
2007
IEEE
In recent years, the use of Intelligent Closed-Circuit Television (ICCTV) for crime prevention and detection has attracted significant attention. Existing face recognition system...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...