334 search results - page 26 / 67 » Structured Formalization of Service-Oriented Specifications |
CN
1999
13 years 7 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
SIGMOD
2002
ACM
14 years 7 months ago
2002
ACM
QURSED enables the development of web-based query forms and reports (QFRs) that query and report semistructured XML data, i.e., data that are characterized by nesting, irregularit...
CISC
2005
Springer
14 years 1 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
EOR
2006
13 years 7 months ago
2006
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
NAR
2011
12 years 10 months ago
2011
The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and mod...