2081 search results - page 372 / 417 » codes 2006 |
94
Voted
ENTCS
2006
14 years 10 months ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
103
click to vote
ENTCS
2006
14 years 10 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
95
Voted
ENTCS
2006
14 years 10 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
ESE
2006
14 years 10 months ago
2006
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
87
Voted
CN
2007
14 years 10 months ago
2007
Wide-area service replication is becoming increasingly common, with the emergence of new operational models such as content delivery networks and computational grids. This paper d...