6650 search results - page 1175 / 1330 » models 2009 |
190
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
206
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
188
click to vote
ICWN
2009
15 years 4 months ago
2009
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
180
click to vote
ICWSM
2009
15 years 4 months ago
2009
With an increasing number of people that read, write and comment on blogs, the blogosphere has established itself as an essential medium of communication. A fundamental characteri...
223
click to vote
IDA
2009
Springer
15 years 4 months ago
2009
Springer
We propose a method for trajectory classification based on trajectory voting in Moving Object Databases (MOD). Trajectory voting is performed based on local trajectory similarity. ...