8627 search results - page 1455 / 1726 » Software Engineering Using RATionale |
200
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
158
Voted
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
187
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
In recent years, many systems and approaches for recommending information, products or other objects have been developed. In these systems, often machine learning methods that nee...
177
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
Active Network technology envisions deployment of virtual execution environments within network elements, such as switches and routers. As a result, nonhomogeneous processing can ...
208
click to vote
AC
2000
Springer
15 years 11 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...