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
321
Voted
ECOOP
2009
Springer
16 years 8 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
254
Voted
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 2 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...
WCRE
2005
IEEE
16 years 1 months 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
210
Voted
OOPSLA
2009
Springer
16 years 6 hour 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