3256 search results - page 322 / 652 » Applications of Formal Methods to System Design and Verifica... |
181
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
164
click to vote
IJWIS
2006
15 years 6 months ago
2006
Abstract. In this paper we present a model-based approach for the development of physical hypermedia applications, i.e. those mobile (Web) applications in which physical and digita...
168
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
282
click to vote
ICETET
2009
IEEE
15 years 4 months ago
2009
IEEE
A completely automatic face recognition system is presented. The method works on color face images and localizes the face region from them initially. It then determines and select...
225
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...