18716 search results - page 222 / 3744 » Automatic |
140
Voted
HT
2000
ACM
15 years 9 months ago
2000
ACM
We describe a way to make a hypermedia meeting record from multimedia meeting documents by automatically generating links through image matching. In particular, we look at video r...
153
click to vote
ER
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...
167
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
172
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
141
click to vote
LCTRTS
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...