2700 search results - page 533 / 540 » The role of abstraction in software engineering |
139
click to vote
FSTTCS
2009
Springer
16 years 18 days ago
2009
Springer
ABSTRACT. We study functionally private approximations. An approximation function g is functionally private with respect to f if, for any input x, g(x) reveals no more information ...
173
click to vote
SLS
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. In this paper, a real-life routing and scheduling problem encountered is addressed. The problem, which consists in optimizing the delivery of fluids by tank trucks on a ...
143
click to vote
IPPS
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract— Remote Direct Memory Access (RDMA) and pointto-point network fabrics both have their own advantages. MPI middleware implementations typically use one or the other, howe...
183
click to vote
SECON
2007
IEEE
16 years 9 days ago
2007
IEEE
Abstract—While mechanisms exist to instantiate common security functionality such as confidentiality and integrity, little has been done to define a mechanism for identificati...
136
click to vote
ICFEM
2007
Springer
16 years 6 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...