Sciweavers

7380 search results - page 538 / 1476
» Engineering Software Intensive Systems
Sort
View
EMSOFT
2010
Springer
15 years 4 months ago
Model-based implementation of real-time applications
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
ICSE
2009
IEEE-ACM
16 years 1 months ago
Deployment automation with BLITZ
Minimizing the computing infrastructure (such as processors) in a distributed real-time embedded (DRE) system deployment helps reduce system size, weight, power consumption, and c...
Brian Dougherty, Jules White, Jaiganesh Balasubram...
129
Voted
ASWEC
2010
IEEE
15 years 6 months ago
On the Use of Properties in Java Applications
—When building software systems, developers have to weigh the benefits of using one specific solution approach against the risks and costs of using another one. This process is...
Markus Lumpe, Samrian Mahmud, Rajesh Vasa
APSEC
2006
IEEE
16 years 11 days ago
Secrobat: Secure and Robust Component-based Architectures
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...
Artem Vorobiev, Jun Han
DAC
2009
ACM
16 years 7 months ago
Debugging strategies for mere mortals
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
Valeria Bertacco