Sciweavers

6274 search results - page 130 / 1255
» Proofs, Programs, Processes
Sort
View
ERLANG
2008
ACM
15 years 8 months ago
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Wrangler is a refactoring tool for Erlang, implemented in Erlang. This paper reports the latest developments in Wran
Huiqing Li, Simon J. Thompson, George Orösz, ...
ICALP
2005
Springer
15 years 12 months ago
Optimal Cover Time for a Graph-Based Coupon Collector Process
Nedialko B. Dimitrov, C. Greg Plaxton
GPCE
2004
Springer
15 years 11 months ago
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components
Julia L. Lawall, Anne-Françoise Le Meur, Gi...
IJNSEC
2008
150views more  IJNSEC 2008»
15 years 6 months ago
Tamper Resistant Software Through Intent Protection
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...
Alec Yasinsac, J. Todd McDonald
ICFP
2003
ACM
16 years 6 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page