964 search results - page 29 / 193 » Scenario-driven modeling and validation of requirements mode... |
TIM
2011
13 years 2 months ago
2011
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
SPIN
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
SUTC
2006
IEEE
14 years 1 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
WSC
1998
13 years 9 months ago
1998
Intel's new processors in mid-1997 were a dramatic increased in speed and size over their ancestors. The increased size caused box volume to increase beyond the capacity of t...
WSC
1997
13 years 9 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...