2700 search results - page 351 / 540 » The role of abstraction in software engineering |
184
click to vote
FOSSACS
2005
Springer
16 years 6 hour ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...
147
click to vote
FSTTCS
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Two trees with the same number of leaves have to be embedded in two layers in the plane such that the leaves are aligned in two adjacent layers. Additional matching edges...
142
click to vote
FSTTCS
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. This paper addresses the issue of confidentiality and declassification for global computing in a language-based security perspective. The purpose is to deal with new fo...
161
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
149
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract: We report on our experiences with the implementation of a parallel algorithm to compute the cycle structure of a permutation given as an oracle. As a sub-problem, the cyc...