284 search results - page 48 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
JCDL
2003
ACM
14 years 1 months ago
2003
ACM
Protein association discovery can directly contribute toward developing protein pathways; hence it is a significant problem in bioinformatics. LUCAS (Library of User-Oriented Conc...
ACSAC
2000
IEEE
14 years 14 days ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
DILS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
SOCA
2007
IEEE
14 years 2 months ago
2007
IEEE
Business intelligence is a business management term used to describe applications and technologies which are used to gather, provide access to and analyze data and information abo...
GIL
2004
13 years 9 months ago
2004
Abstract: Interdisciplinary research projects with environmental focus need an information technology which is capable of describing the flow of minerals and other substances with ...