Sciweavers

1611 search results - page 254 / 323
» Stochastic Analysis of Dynamic Processes
Sort
View
COORDINATION
2008
Springer
14 years 11 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
APVIS
2008
14 years 11 months ago
Finite-Time Transport Structures of Flow Fields
Modern experimental and computational fluid mechanics are increasingly concerned with the structure nature of fluid motion. Recent research has highlighted the analysis of one tra...
Kuangyu Shi, Holger Theisel, Tino Weinkauf, Hans-C...
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
ECIS
2004
14 years 11 months ago
Fight risk with risk: reflexivity of risk and globalization in IS
In this paper, we address the following research question: "How can we understand the nature of risk in IS projects in the context of globalization?" Based on a case stu...
Edoardo Jacucci, Miria Grisot, Ole Hanseth
FMOODS
2006
14 years 11 months ago
Transformation Laws for UML-RT
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Rodrigo Ramos, Augusto Sampaio, Alexandre Mota