Sciweavers

5671 search results - page 983 / 1135
» A Semantic Approach to Interpolation
Sort
View
RSP
2008
IEEE
118views Control Systems» more  RSP 2008»
16 years 28 days ago
Functional DIF for Rapid Prototyping
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
William Plishker, Nimish Sane, Mary Kiemb, Kapil A...
RTAS
2008
IEEE
16 years 28 days ago
Optimizing the Implementation of Communication in Synchronous Reactive Models
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiov...
WCRE
2008
IEEE
16 years 28 days ago
Consistent Layout for Thematic Software Maps
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...
Adrian Kuhn, Peter Loretan, Oscar Nierstrasz
ACSAC
2007
IEEE
16 years 27 days ago
MetaAware: Identifying Metamorphic Malware
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
Qinghua Zhang, Douglas S. Reeves
ACSC
2007
IEEE
16 years 27 days ago
Web Services Discovery Based On Schema Matching
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
Yanan Hao, Yanchun Zhang