3828 search results - page 97 / 766 » Proof-Based System Engineering Using a Virtual System Model |
109
Voted
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
120
Voted
ITS
2004
Springer
15 years 8 months ago
2004
Springer
This work is devoted to lattice-based information representation of correlations among delivery criteria in transport logistics. The number of delivery criteria, their ranking acc...
127
Voted
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
122
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
111
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
The virtual white cane is a range sensing device based on active triangulation, that can measure distances at a rate of 15 measurements/second. A blind person can use this device ...