Sciweavers

3527 search results - page 561 / 706
» Test Automation in Practice
Sort
View
86
Voted
GECON
2007
Springer
132views Business» more  GECON 2007»
15 years 4 months ago
Enabling the Simulation of Service-Oriented Computing and Provisioning Policies for Autonomic Utility Grids
A key issue in utility computing environments, such as utility Grids, is the provisioning, orchestration and allocation of resources to services. In these environments, providers ...
Marcos Dias de Assunção, Werner Stre...
KES
2007
Springer
15 years 4 months ago
An Open Source Java Framework for Biometric Web Authentication Based on BioAPI
One of the major early problems that biometrics faced was the lack of interoperability between different software applications and devices developed by different vendors. The Bio...
Elisardo González-Agulla, Enrique Otero Mur...
OOPSLA
2007
Springer
15 years 4 months ago
Combining structural subtyping and external dispatch
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
Donna Malayeri
70
Voted
COMPSAC
2006
IEEE
15 years 4 months ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
120
Voted
HAPTICS
2006
IEEE
15 years 4 months ago
Haptic-Based Biometrics: A Feasibility Study
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
Mauricio Orozco Trujillo, Yednek Asfaw, Shervin Sh...