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
16 years 8 days ago
Optimal Cover Time for a Graph-Based Coupon Collector Process
Nedialko B. Dimitrov, C. Greg Plaxton
GPCE
2004
Springer
16 years 4 days 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