1776 search results - page 118 / 356 » A Visual Modeling Environment for Embedded Component Systems |
117
click to vote
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
181
click to vote
VISUALIZATION
1995
IEEE
15 years 6 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
102
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
125
Voted
JCP
2008
15 years 2 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
105
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...