Sciweavers

5054 search results - page 705 / 1011
» How designers design and program interactive behaviors
Sort
View
PGLDB
2003
225views Database» more  PGLDB 2003»
15 years 8 months ago
The Various Stages of an Instructional Systems Development Methodology for e-learning Modules
This paper reports the efforts which have been made towards a methodology based on elearning objects for the development of PGL modules. The Partnership in Global Learning (PGL) P...
Lúcia Blondet Baruque, Rubens N. Melo
ECOOP
2009
Springer
16 years 7 months ago
Making Sense of Large Heaps
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
Nick Mitchell, Edith Schonberg, Gary Sevitsky
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 1 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
195
Voted
WCRE
2005
IEEE
16 years 9 days ago
Deobfuscation: Reverse Engineering Obfuscated Code
In recent years, code obfuscation has attracted attention as a low cost approach to improving software security by making it difficult for attackers to understand the inner worki...
Sharath K. Udupa, Saumya K. Debray, Matias Madou
199
Voted
OOPSLA
2009
Springer
15 years 11 months ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White