Sciweavers

36320 search results - page 586 / 7264
» From Code to Models
Sort
View
ICSE
2009
IEEE-ACM
16 years 8 months ago
Listening to programmers - Taxonomies and characteristics of comments in operating system code
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
Yoann Padioleau, Lin Tan, Yuanyuan Zhou
SIGCSE
2009
ACM
130views Education» more  SIGCSE 2009»
16 years 7 months ago
Introducing PyLighter: dynamic code highlighter
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
Michael G. Boland, Curtis C. Cliburn
ESORICS
2002
Springer
16 years 6 months ago
TINMAN: A Resource Bound Security Checking System for Mobile Code
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
Aloysius K. Mok, Weijiang Yu
CSMR
2008
IEEE
16 years 1 months ago
Goto Elimination Strategies in the Migration of Legacy Code to Java
Legacy systems are often large and difficult to maintain, but rewriting them from scratch is usually not a viable option. Reenginering remains the only way to modernize them. We ...
Mariano Ceccato, Paolo Tonella, Cristina Matteotti
ICC
2008
IEEE
163views Communications» more  ICC 2008»
16 years 1 months ago
Network Coding Based Cooperative Peer-to-Peer Repair in Wireless Ad-Hoc Networks
— Cooperative Peer-to-Peer Repair (CPR) has been proposed to recover from packet losses incurred during 3G broadcast. CPR leverages the increasing presence of multi-homed mobile ...
Xin Liu, Saqib Raza, Chen-Nee Chuah, Gene Cheung