2556 search results - page 329 / 512 » The Triconnected Abstraction of Process Models |
208
click to vote
IJMMS
2008
15 years 7 months ago
2008
Computer programming is generally understood to be highly challenging and since its inception a wide range of approaches, tools and methodologies have been developed to assist in ...
204
click to vote
FAC
2000
15 years 7 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
219
click to vote
TOPLAS
1998
15 years 6 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
322
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
on Uncertain Data (Extended Abstract) Ming Hua Jian Pei Wenjie Zhang Xuemin Lin Simon Fraser University, Canada The University of New South Wales & NICTA {mhua, jpei}@cs.sfu.c...
195
click to vote
EEE
2005
IEEE
16 years 23 days ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...