ECIS
2004
14 years 27 days ago
2004
This case study analyses a multiyear ERP (SAP R/3) implementation project in a global company from perspectives of conflicts and problems the project faced. The paper reports on t...
SPRINGSIM
2008
14 years 28 days ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
CLIMA
2007
14 years 29 days ago
2007
Abstract. In this paper we present an implementation of EVOLP under the Evolution Stable Model semantics, based on the transformation defined in [1]. We also discuss optimizations...
ANCS
2008
ACM
14 years 1 months ago
2008
ACM
We describe the implementation of an OpenFlow Switch on the NetFPGA platform. OpenFlow is a way to deploy experimental or new protocols in networks that carry production traffic. ...
PDP
1995
IEEE
14 years 3 months ago
1995
IEEE
We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
WIA
2000
Springer
14 years 3 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
FROCOS
2000
Springer
14 years 3 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
ACSD
2001
IEEE
14 years 3 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
CP
2006
Springer
14 years 3 months ago
2006
Springer
Distributed computing is increasingly important at a time when the doubling of the number of transistors on a processor every 18 months no longer translates in a doubling of speed ...
CSFW
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...