Sciweavers

IFIP
2009
Springer
15 years 11 months ago
Formal Grammars for Product Data Management on Distributed Manufacturing Systems
Rui M. Sousa, Paulo J. Martins, Rui M. Lima
IFIP
2009
Springer
15 years 11 months ago
Supporting Cross-Organizational Process Control
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
Samuil Angelov, Jochem Vonk, Krishnamurthy Vidyasa...
96
Voted
IFIP
2009
Springer
15 years 11 months ago
Information Flow Control for Cooperation Support in Virtual Enterprises
Peter Bertók, Abdelkamel Tari, Saadia Kedja...
122
Voted
IFIP
2009
Springer
15 years 11 months ago
Collaborative Environments to Support Professional Communities: A Living Lab Approach
Hans Schaffers, Steffen Budweg, Rudolf Ruland, Kje...
114
Voted
IFIP
2009
Springer
15 years 11 months ago
On Hard and Soft Models to Analyze Trust Life Cycle for Mediating Collaboration
Simon Samwel Msanjila, Hamideh Afsarmanesh
115
Voted
IFIP
2009
Springer
15 years 11 months ago
Networked Innovation in Innovation Networks: A Home Appliances Case Study
Luis Berasategi, Joseba Arana, Eduardo Castellano
141
Voted
IFIP
2009
Springer
15 years 11 months ago
A Practice-Based Analysis of an Online Strategy Game
Giannis Milolidakis, Chris Kimble, Demosthenes Ako...
113
Voted
IFIP
2009
Springer
15 years 11 months ago
A Socio-technical Approach for Transient SME Alliances
Yacine Rezgui
IFIP
2009
Springer
15 years 11 months ago
Secure Information Flow for Distributed Systems
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
Rafael Alpízar, Geoffrey Smith
IFIP
2009
Springer
15 years 11 months ago
Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties
Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier