2243 search results - page 39 / 449 » Contracts for Mobile Processes |
168
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
122
click to vote
UAI
1998
15 years 4 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...
99
Voted
ECIS
2001
15 years 4 months ago
2001
A case is described of a firm, which decided to develop a new IT system using a mixture of contract or outsourced workers and company employees. The company employees were placed ...
130
click to vote
WISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
118
click to vote
RTSS
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...