5630 search results - page 39 / 1126 » Computability in Specification |
IEEESCC
2010
IEEE
13 years 12 months ago
2010
IEEE
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
COORDINATION
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
RE
2009
Springer
14 years 2 months ago
2009
Springer
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...
RECOMB
2004
Springer
14 years 10 months ago
2004
Springer
Finding recurring residue packing patterns, or spatial motifs, that characterize protein structural families is an important problem in bioinformatics. To this end, we apply a nov...