1499 search results - page 271 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
149
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
165
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
155
click to vote
WADS
2005
Springer
15 years 11 months ago
2005
Springer
We study the shortest path problem in weighted polygonal subdivisions of the plane, with the additional constraint of an upper bound, k, on the number of links (segments) in the pa...
155
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The availability of effective management information is essential when coping with today’s complexity and dynamism, both within and around organizations. Information technology ...
174
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...