Sciweavers

3971 search results - page 141 / 795
» On the Use of Properties in Java Applications
Sort
View
ICAC
2006
IEEE
15 years 11 months ago
A Runtime Adaptation Framework for Native C and Bytecode Applications
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
Rean Griffith, Gail E. Kaiser
EDCC
2008
Springer
15 years 6 months ago
Metrics for Object-Oriented Software Reliability Assessment - Application to a Flight Manager
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
Stéphanie Gaudan, Gilles Motet, Guillaume A...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 2 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICIP
2005
IEEE
16 years 6 months ago
High capacity watermarking using balanced multiwavelet transforms
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
Lahouari Ghouti, Ahmed Bouridane, Said Boussakta
ECMDAFA
2008
Springer
166views Hardware» more  ECMDAFA 2008»
15 years 6 months ago
Towards Roundtrip Engineering - A Template-Based Reverse Engineering Approach
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
Manuel Bork, Leif Geiger, Christian Schneider, Alb...