2639 search results - page 88 / 528 » Improving Web Design Methods with Architecture Modeling |
BMCBI
2010
13 years 9 months ago
2010
nd: Although methods based on highly abstract descriptions of protein structures, such as VAST and TOPS, can perform very fast protein structure comparison, the results can lack a...
WICSA
2004
13 years 10 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
ESCIENCE
2007
IEEE
14 years 3 months ago
2007
IEEE
Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are...
ASWC
2006
Springer
14 years 27 days ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...