158 search results - page 10 / 32 » High-Level Modeling and Analysis of TCAS |
EEE
2005
IEEE
14 years 3 months ago
2005
IEEE
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
SPE
2002
13 years 9 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
APCCM
2008
13 years 11 months ago
2008
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
INTERSPEECH
2010
13 years 4 months ago
2010
Combilex is a high quality lexicon that has been developed specifically for speech technology purposes and recently released by CSTR. Combilex benefits from many advanced features...
JCS
1998
13 years 9 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...