4716 search results - page 525 / 944 » Tangible functional programming |
119
Voted
ACMSE
2004
ACM
15 years 6 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
144
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
110
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
119
Voted
HPCN
2000
Springer
15 years 6 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
119
Voted
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We establish that the algorithmic complexity of the minimum spanning tree problem is equal to its decision-tree complexity. Specifically, we present a deterministic algorithm to fi...