Sciweavers

736 search results - page 79 / 148
» Moving Specification Structures Between Logical Systems
Sort
View
ELECTRONICMARKETS
2010
124views more  ELECTRONICMARKETS 2010»
14 years 7 months ago
The difficulty of studying inter-organisational IS phenomena on large scales: critical reflections on a research journey
We argue that certain theoretical commitments that underpin much existing Interorganisational Information Systems (IOIS) research at small scales become untenable when IOIS are st...
Kai Reimers, Robert B. Johnston, Stefan Klein
SAC
2006
ACM
14 years 9 months ago
Efficient interactive configuration of unbounded modular systems
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
Erik Roland van der Meer, Andrzej Wasowski, Henrik...
CSAC
2006
14 years 11 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
VIS
2007
IEEE
113views Visualization» more  VIS 2007»
15 years 11 months ago
Texture-based Feature Tracking for Effective Time-varying Data Visualization
Analyzing, visualizing, and illustrating changes within time-varying volumetric data is challenging due to the dynamic changes occurring between timesteps. The changes and variatio...
Jesus Caban, Alark Joshi, Penny Rheingans
COORDINATION
2005
Springer
15 years 3 months ago
Coordination Systems in Role-Based Adaptive Software
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
Alan W. Colman, Jun Han