Sciweavers

5777 search results - page 221 / 1156
» The palladio component model
Sort
View
IAW
2003
IEEE
16 years 14 days ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
ISCAS
2003
IEEE
134views Hardware» more  ISCAS 2003»
16 years 14 days ago
Analog and mixed signal modelling with SystemC-AMS
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...
Alain Vachoux, Christoph Grimm, Karsten Einwich
ACL
1998
15 years 8 months ago
A Model for Robust Processing of Spontaneous Speech by Integrating Viable Fragments
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
Karsten L. Worm
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
16 years 14 days ago
Modeling Web Applications Using Java and XML Related Technologies
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
Sam Chung, Yun Sik Lee
CSREAESA
2006
15 years 8 months ago
The Satellite Data Model
The Satellite Data Model (SDM) is part of the Air Force Research Laboratory (AFRL) Responsive Space Testbed Initiative. It is a developing standard for rapid integration of hardwa...
Kenneth Sundberg, Scott Cannon, Todd Hospodarsky, ...