284 search results - page 30 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
SPRINGSIM
2007
13 years 9 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
INFSOF
2002
13 years 7 months ago
2002
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
BMCBI
2006
13 years 8 months ago
2006
Background: Vast progress in sequencing projects has called for annotation on a large scale. A Number of methods have been developed to address this challenging task. These method...
BMCBI
2007
13 years 8 months ago
2007
Background: Information resources on the World Wide Web play an indispensable role in modern biology. But integrating data from multiple sources is often encumbered by the need to...
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...