Sciweavers

6894 search results - page 1048 / 1379
» Generation Problems
Sort
View
RTSS
2007
IEEE
16 years 29 days ago
A UML-Based Design Framework for Time-Triggered Applications
Time-triggered architectures (TTAs) are strong candidate platforms for safety-critical real-time applications. A typical time-triggered architecture is constituted by one or more ...
Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Won...
171
Voted
SCAM
2007
IEEE
16 years 29 days ago
Fast Approximate Matching of Programs for Protecting Libre/Open Source Software by Using Spatial Indexes
To encourage open source/libre software development, it is desirable to have tools that can help to identify open source license violations. This paper describes the implementatio...
Arnoldo José Müller Molina, Takeshi Sh...
SMI
2007
IEEE
106views Image Analysis» more  SMI 2007»
16 years 28 days ago
Iterative Methods for Improving Mesh Parameterizations
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
Shen Dong, Michael Garland
SP
2007
IEEE
107views Security Privacy» more  SP 2007»
16 years 28 days ago
Lurking in the Shadows: Identifying Systemic Threats to Kernel Data
The integrity of kernel code and data is fundamental to the integrity of the computer system. Tampering with the kernel data is an attractive venue for rootkit writers since malic...
Arati Baliga, Pandurang Kamat, Liviu Iftode
VL
2007
IEEE
149views Visual Languages» more  VL 2007»
16 years 28 days ago
A Type System Based on End-User Vocabulary
In previous work we have developed a system that automatically checks for unit errors in spreadsheets. In this paper we describe our experiences using the system in a workshop on ...
Robin Abraham, Martin Erwig, Scott Andrew
« Prev « First page 1048 / 1379 Last » Next »