Sciweavers

4007 search results - page 187 / 802
» Automotive Software Integration
Sort
View
TCS
2002
15 years 3 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp
CIBCB
2009
IEEE
15 years 1 months ago
An automatic gene ontology software tool for bicluster and cluster comparisons
We propose an Automatic Gene Ontology (AGO) software as a flexible, open-source Matlab software tool that allows the user to easily compare the results of the bicluster and cluster...
Fadhl M. Al-Akwaa, Yasser M. Kadah
CCS
2011
ACM
14 years 3 months ago
VMCrypt: modular software architecture for scalable secure computation
Garbled circuits play a key role in secure computation. Unlike previous work, which focused mainly on efficiency and automation aspects of secure computation, in this paper we foc...
Lior Malka
SIES
2009
IEEE
15 years 10 months ago
A flexible design flow for software IP binding in commodity FPGA
— Software intellectual property (SWIP) is a critical component of increasingly complex FPGA based system on chip (SOC) designs. As a result, developers want to ensure that their...
Michael Gora, Abhranil Maiti, Patrick Schaumont
VAMOS
2009
Springer
15 years 10 months ago
Comparitive Study of Variability Management in Software Product Lines and Runtime Adaptable Systems
Software Product Lines (SPL) and Runtime Adaptation (RTA) have traditionally been distinct research areas addressing different problems and with different communities. Despite the...
Vander Alves, Daniel Schneider, Martin Becker, Nel...