473 search results - page 60 / 95 » Aspect Validation Using Model Checking |
WSC
1998
13 years 11 months ago
1998
This tutorial article addresses the use of simulation in the hospitality industry, in particular the use of simulation in the fast food restaurant industry. Although the applicati...
TAMODIA
2008
13 years 11 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
Coarticulation is one of the important factors that makes automatic sign language recognition a hard problem. Unlike in speech recognition, coarticulation effects in sign language...
HOST
2008
IEEE
14 years 4 months ago
2008
IEEE
—Trusted IC design is a recently emerged topic since fabrication factories are moving worldwide in order to reduce cost. In order to get a low-cost but effective hardware Trojan ...
EPEW
2007
Springer
14 years 4 months ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...