4716 search results - page 560 / 944 » Tangible functional programming |
130
Voted
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common...
160
click to vote
ICCS
2005
Springer
16 years 9 days ago
2005
Springer
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
141
click to vote
ICN
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
160
Voted
TACAS
2005
Springer
16 years 8 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
204
click to vote
AUSAI
2004
Springer
16 years 6 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...