284 search results - page 50 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
BMCBI
2008
13 years 8 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
IWRIDL
2006
ACM
14 years 2 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The social Web is transforming the way information is created and distributed. Authoring tools, e.g., blog publishing services, enable users to quickly and easily publish content,...
CANS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...