964 search results - page 29 / 193 » Scenario-driven modeling and validation of requirements mode... |
TIM
2011
14 years 4 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...
80
Voted
SPIN
2001
Springer
15 years 1 months 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
15 years 3 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
14 years 11 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...
84
Voted
WSC
1997
14 years 11 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...