1802 search results - page 190 / 361 » Using Declarative Specifications in Business Process Design |
116
click to vote
STTT
1998
15 years 2 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
140
click to vote
ESCIENCE
2005
IEEE
15 years 8 months ago
2005
IEEE
As Web Services have matured they have been substantially leveraged within the academic, research and business communities. An exemplar of this is the realignment, last year, of t...
148
click to vote
APSCC
2006
IEEE
15 years 6 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
138
click to vote
ETS
2002
IEEE
15 years 2 months ago
2002
IEEE
Both academic institutions and businesses are exploring a shift from face-to-face instruction to distance learning. However, without the foundation of a systematic instructional d...
139
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...