Sciweavers

3107 search results - page 497 / 622
» Error-Correcting Source Code
Sort
View
ACSAC
2007
IEEE
15 years 9 months ago
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
Deepak Chandra, Michael Franz
FDL
2007
IEEE
15 years 9 months ago
Mapping Actor-Oriented Models to TLM Architectures
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
Jens Gladigau, Christian Haubelt, Bernhard Niemann...
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
15 years 9 months ago
Using Software Component Models and Services in Embedded Real-Time Systems
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
Frank Lüders, Shoaib Ahmad, Faisal Khizer, Gu...
ICC
2007
IEEE
190views Communications» more  ICC 2007»
15 years 9 months ago
Minimum Energy Data Gathering in Correlated Sensor Networks with Cooperative Transmission
— We consider combination of Distributed Source Coding (DSC) and cooperative transmission techniques to improve energy efficiency in sensor networks. To start with we formulate ...
Laxminarayana S. Pillutla, Vikram Krishnamurthy
ICSM
2007
IEEE
15 years 9 months ago
The Social Context of Software Maintenance
Software maintenance is a highly collaborative activity whose social context is rarely addressed. To explore this context, we conducted an ethnographic study at a large technology...
Jonathan Sillito, Eleanor Wynn