852 search results - page 128 / 171 » entcs 2010 |
114
Voted
ENTCS
2010
15 years 1 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
151
Voted
ENTCS
2010
15 years 1 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
137
Voted
ENTCS
2010
14 years 10 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
119
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
139
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...