15885 search results - page 2637 / 3177 » The Modest Software Engineer |
166
click to vote
FOSSACS
2003
Springer
16 years 4 days ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
171
click to vote
FSTTCS
2003
Springer
16 years 4 days ago
2003
Springer
Given a polygonal path P with vertices p1, p2, . . . , pn and a real number t ≥ 1, a path Q = (pi1 , pi2 , . . . , pik ) is a t-distance-preserving approximation of P if 1 = i1 &...
178
click to vote
FSTTCS
2003
Springer
16 years 4 days ago
2003
Springer
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
164
click to vote
GCC
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
174
click to vote
ICFEM
2003
Springer
16 years 4 days ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...