Sciweavers

4592 search results - page 319 / 919
» Framework for Studying Substitution
Sort
View
APSEC
2005
IEEE
16 years 1 months ago
Understanding the Nature of Collaboration in Open-Source Software Development
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
Kumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
16 years 1 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
183
Voted
IV
2005
IEEE
99views Visualization» more  IV 2005»
16 years 1 months ago
Heterogeneous Objects Modelling and Rendering Using Implicit Complexes
This paper describes a technology for modelling and rendering heterogeneous objects containing entities of various dimensionalities within a cellular-functional framework based on...
Elena Kartasheva, Valery Adzhiev, Peter Comninos, ...
RSP
2005
IEEE
107views Control Systems» more  RSP 2005»
16 years 1 months ago
Rapid Prototyping of Embedded Software Using Selective Formalism
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
John D. Carter, Ming Xu, William B. Gardner
210
Voted
MMSEC
2005
ACM
274views Multimedia» more  MMSEC 2005»
16 years 1 months ago
LSB steganalysis based on high-order statistics
We propose a general framework for the detection of the LSB steganography using digital media files as cover objects. The new framework exploits high-order statistics of the samp...
Sorina Dumitrescu, Xiaolin Wu