Sciweavers

1390 search results - page 173 / 278
» Software Systems Integration and Architectural Analysis - A ...
Sort
View
APSEC
2006
IEEE
15 years 8 months ago
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
Luciano Baresi, Paolo Beretta, Roberto Fraccapani,...
TVCG
2010
168views more  TVCG 2010»
15 years 2 months ago
Principles and Tools for Collaborative Entity-Based Intelligence Analysis
—Software tools that make it easier for analysts to collaborate as a natural part of their work will lead to better analysis that is informed by more perspectives. We are interes...
Eric A. Bier, Stuart K. Card, John W. Bodnar
VMCAI
2004
Springer
15 years 10 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
DSN
2008
IEEE
15 years 6 months ago
Convicting exploitable software vulnerabilities: An efficient input provenance based approach
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
DRM
2005
Springer
15 years 10 months ago
DRM interoperability analysis from the perspective of a layered framework
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
Gregory L. Heileman, Pramod A. Jamkhedkar