2317 search results - page 276 / 464 » Model based testing for agent systems |
135
click to vote
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
136
click to vote
IS
2010
15 years 1 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
158
click to vote
MICCAI
2006
Springer
16 years 4 months ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
158
click to vote
WSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
125
click to vote
PR
2008
15 years 3 months ago
2008
In this paper we address the task of writer identification of on-line handwriting captured from a whiteboard. Different sets of features are extracted from the recorded data and u...