860 search results - page 147 / 172 » A Process Algebra Based Verification of a Production System |
181
Voted
ANCS
2010
ACM
15 years 1 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
234
Voted
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
164
Voted
CAISE
1997
Springer
15 years 7 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
137
Voted
MVA
2007
15 years 5 months ago
2007
Most vision-based UAV (Unmanned Aerial Vehicle) navigation algorithms extract manmade features such as buildings or roads, which are well structured in urban terrain, using the CC...
136
Voted
SACMAT
2003
ACM
15 years 8 months ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...