Sciweavers

619 search results - page 64 / 124
» IFIP
Sort
View
IFIP
2000
Springer
15 years 3 months ago
Project-specific Process Configuration in Virtual Enterprises
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
Christian Rupprecht, Thomas Rose, E. van Halm, Ari...
IFIP
2000
Springer
15 years 3 months ago
Information Technology and the Cultural Reproduction of Social Order: A Research Paradigm
This paper introduces the critical social theory of French sociologist Pierre Bourdieu. The objective of Bourdieu's theoretical framework is to uncover the buried organizatio...
Lynette Kvasny, Duane P. Truex
IFIP12
2010
14 years 10 months ago
Rule Learning with Negation: Issues Regarding Effectiveness
: An investigation of rule learning processes that allow the inclusion of negated features is described. The objective is to establish whether the use of negation in inductive rule...
Stephanie Chua, Frans Coenen, Grant Malcolm
IFIP12
2009
14 years 9 months ago
TELIOS: A Tool for the Automatic Generation of Logic Programming Machines
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
Alexandros C. Dimopoulos, Christos Pavlatos, Georg...
IFIP
2010
Springer
14 years 6 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro