Sciweavers

1800 search results - page 86 / 360
» A component model for internet-scale applications
Sort
View
CASCON
1996
148views Education» more  CASCON 1996»
15 years 7 months ago
Reuse in the application layer
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
Hirotomo Okuno, Hideki Matsumoto, Hironori Asai, M...
IAW
2003
IEEE
15 years 11 months 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
MM
2006
ACM
120views Multimedia» more  MM 2006»
15 years 12 months ago
Mapping learning in eigenspace for harmonious caricature generation
This paper proposes a mapping learning approach for caricature auto-generation. Simulating the artist’s creativity based on the object’s facial feature, our approach targets d...
Junfa Liu, Yiqiang Chen, Wen Gao
TII
2008
109views more  TII 2008»
15 years 6 months ago
Analysis and Simulation of Jitter Sequences for Testing Serial Data Channels
This paper presents a novel modeling analysis of jitter as applicable to testing of serial data channels. Jitter is analyzed by considering separate and combined components. The pr...
Kyung Ki Kim, Jing Huang, Yong-Bin Kim, Fabrizio L...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...