519 search results - page 65 / 104 » Granular Problem Solving and Software Engineering |
109
Voted
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
142
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
129
Voted
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Regular path queries are the basic navigational component of virtually all the mechanisms for querying semistructured data commonly found in information integration applications, W...
151
click to vote
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
133
click to vote
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...