1890 search results - page 269 / 378 » Model-Based Testing in Practice |
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Nominal subtyping (or user-defined subtyping) and structural subtyping each have their own strengths and weaknesses. Nominal subtyping allows programmers to explicitly express de...
COMPSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
153
click to vote
HAPTICS
2006
IEEE
15 years 7 months ago
2006
IEEE
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
109
click to vote
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
ABSTRACT. Risks associated with change in technology standards and uncertainty over the sharing of costs and benefits among trading partners impede interorganizational information ...
IDEAS
2006
IEEE
15 years 7 months ago
2006
IEEE
Unlike numerical preferences, preferences on attribute values do not show an inherent total order, but skyline computation has to rely on partial orderings explicitly stated by th...