10159 search results - page 1870 / 2032 » System Design Validation Using Formal Models |
DIM
2006
ACM
14 years 2 months ago
2006
ACM
An emerging approach to the problem of reducing the identity theft is represented by the adoption of biometric authentication systems. Such systems however present however several...
GIS
2008
ACM
13 years 9 months ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
SIGSOFT
2003
ACM
14 years 1 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
We present an extension of a computational cognitive model of social tagging and exploratory search called the semantic imitation model. The model assumes a probabilistic represen...
IV
2006
IEEE
14 years 2 months ago
2006
IEEE
There are many deficiencies in the traditional electronic commerce schema. The main problem for consideration is the text and picture based design that underpins current HTML syst...