1104 search results - page 96 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
ROMAN
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
POLICY
2005
Springer
14 years 2 months ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
FAC
2008
13 years 9 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
CAL
2006
13 years 9 months ago
2006
Abstract-- Cycle accurate simulation has long been the primary tool for micro-architecture design and evaluation. Though accurate, the slow speed often imposes constraints on the e...
JCISE
2002
13 years 8 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...