Sciweavers

3330 search results - page 334 / 666
» software 2010
Sort
View
ITS
2010
Springer
122views Multimedia» more  ITS 2010»
15 years 9 months ago
DynaLearn: Architecture and Approach for Investigating Conceptual System Knowledge Acquisition
DynaLearn is an Interactive Learning Environment that facilitates a constructive approach to developing a conceptual understanding of how systems work. The software can be put in d...
Bert Bredeweg, Jochem Liem, Floris Linnebank, Ren&...
CSFW
2010
IEEE
15 years 8 months ago
On Protection by Layout Randomization
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
Martín Abadi, Gordon D. Plotkin
IICS
2010
Springer
15 years 8 months ago
Using Digital Images to spread Executable Code on Internet
. Steganography is defined as covered writing and it has been used to achieve confidentiality. Most of research in this domain has focused in just sending plain data. In this paper...
Roberto Gómez, Gabriel Ramírez
ASM
2010
ASM
15 years 6 months ago
Automatic Verification for a Class of Proof Obligations with SMT-Solvers
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
David Déharbe
DEXAW
2010
IEEE
151views Database» more  DEXAW 2010»
15 years 5 months ago
Students' Acceptance of Web 2.0 Technologies in Higher Education: Findings from a Survey in a Romanian University
This paper reports findings from a survey on students' attitude towards the use of Web 2.0 tools in a Romanian university. The purpose of the study is threefold: i) establish ...
Elvira Popescu