Sciweavers

1518 search results - page 158 / 304
» Cryptographic Test Correction
Sort
View
CHI
2005
ACM
16 years 1 months ago
Measuring the effective parameters of steering motions
The steering law model describes pointing device motion through constrained paths. Previous uses of the model are deficient because they are built using only error-free responses,...
I. Scott MacKenzie, Sergey Kulikov, Wolfgang St&uu...
CADE
2008
Springer
16 years 1 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
ICIAP
2007
ACM
16 years 1 months ago
Hybrid Stereo Sensor with Omnidirectional Vision Capabilities: Overview and Calibration Procedures
In this paper, we present a compact hybrid video sensor that combines perspective and omnidirectional vision to achieve a 360 field of view, as well as high-resolution images. Tho...
Stefano Cagnoni, Monica Mordonini, Luca Mussi, Gio...
ACSC
2009
IEEE
15 years 7 months ago
Improving the Transparency of Proxy Injection in Java
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
Hendrik Gani, Caspar Ryan
DASFAA
2009
IEEE
126views Database» more  DASFAA 2009»
15 years 7 months ago
Supporting Execution-Level Business Process Modeling with Semantic Technologies
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
Matthias Born, Jörg Hoffmann, Tomasz Kaczmare...