1953 search results - page 264 / 391 » codes 2010 |
150
click to vote
ENTCS
2006
15 years 4 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...
136
click to vote
DSS
2007
15 years 4 months ago
2007
This paper develops a methodology for analyzing and predicting the impact category of malicious code, particularly email worms. The current paper develops two frameworks to classi...
150
click to vote
ENTCS
2007
15 years 4 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
225
click to vote
ENTCS
2007
15 years 4 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...