7329 search results - page 292 / 1466 » Software Architectural Transformation |
149
click to vote
JNW
2007
15 years 6 months ago
2007
- Recent technological advances provide an excellent opportunity to achieve truly effective results in the field of open Internet devices, also known as Open Routers or ORs. Even t...
156
click to vote
FSTTCS
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
133
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
201
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
173
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Novel test bench techniques are required to cope with a functional test complexity which is predicted to grow much more strongly than design complexity. Our test bench approach at...