Sciweavers

4726 search results - page 621 / 946
» Domain Modeling of Software Process Models
Sort
View
EUROMICRO
2003
IEEE
16 years 6 hour ago
Web Service Composition Languages: Old Wine in New Bottles?
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M...
ISPW
1991
IEEE
15 years 10 months ago
Policy-directed coordination and cooperation
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
Dewayne E. Perry
207
Voted
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
16 years 22 days ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
JSAC
2006
108views more  JSAC 2006»
15 years 6 months ago
Distributed Nonlinear Integer Optimization for Data-Optical Internetworking
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
Anwar Elwalid, Debasis Mitra, Qiong Wang
166
Voted
CHI
2006
ACM
16 years 7 months ago
Interaction in creative tasks
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
Tim Coughlan, Peter Johnson