5608 search results - page 353 / 1122 » Structure description tools |
154
click to vote
ICECCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
132
click to vote
SAM
2000
15 years 6 months ago
2000
The development of an MSC based graphical representation of TTCN is part of the ETSI project STF 156 on 'Specification of a Message Sequence Chart/UML format, including valid...
174
click to vote
ENTCS
2006
15 years 5 months ago
2006
We describe an automatic complexity analysis mechanism for programs extracted from proofs carried out with the proof assistant Coq. By extraction, we mean the automatic generation...
129
click to vote
JNCA
2008
15 years 5 months ago
2008
This work proposes a Web Service (WS) discovery model in which the functional and nonfunctional requirements are taken into account during service discovery. The proposed infrastr...
172
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...