2838 search results - page 321 / 568 » Verifying Controlled Components |
90
Voted
ISN
1997
Springer
15 years 5 months ago
1997
Springer
: The TINA architecture is emerging as an integrated approach to service and network control and management. The ACTS VITAL project aims to extend and refine the TINA architecture ...
ISW
1997
Springer
15 years 5 months ago
1997
Springer
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
119
Voted
ASPDAC
2000
ACM
15 years 4 months ago
2000
ACM
The paper presents an application specific Java processor including reconfigurabilities, which is a DLX like pipeline processor with 5 stages and executes Java byte codes directly....
91
Voted
COLING
2008
15 years 2 months ago
2008
This paper presents an implemented hybrid approach to grammar and style checking, combining an industrial patternbased grammar and style checker with bidirectional, large-scale HP...
87
Voted
ICAI
2008
15 years 2 months ago
2008
Abstract-- This paper describes an overview of our semiautonomous (SA) wheelchair prototype and emphasizes the design of the perceptual navigation system. The goal of our project i...