IFIP
2010
Springer
13 years 4 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
APLAS
2010
ACM
13 years 4 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
ADT
2010
13 years 4 months ago
2010
IFIP
2009
Springer
13 years 4 months ago
2009
Springer
Abstract. Enterprise architecture (EA) management forms a commonly accepted means to enhance the alignment of business and IT, and to support the managed evolution of the enterpris...
IFIP
2009
Springer
13 years 4 months ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
IFIP
2009
Springer
13 years 4 months ago
2009
Springer
IFIP
2009
Springer
13 years 4 months ago
2009
Springer
IFIP
2009
Springer
13 years 4 months ago
2009
Springer
: Intermodality has been a hot topic in the logistics sector for several decades, but the expected diffusion into business is still limited. The key to increased intermodalism lies...
IFIP
2009
Springer
13 years 4 months ago
2009
Springer
RFID technology is, according to both industry and academia, one of the most promising new technologies for improving logistics and manufacturing excellence this decade. This resea...