811 search results - page 47 / 163 » Integrating Formal Description Techniques |
140
click to vote
AAAI
2007
15 years 4 months ago
2007
General Game Playing (GGP) is the art of designing programs that are capable of playing previously unknown games of a wide variety by being told nothing but the rules of the game....
114
click to vote
ISICT
2003
15 years 3 months ago
2003
The Web Services Framework provides techniques to enable the application-toapplication use of the Web. It has the potential of becoming the core of a new Web-based middleware plat...
114
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
105
click to vote
ENTCS
2006
15 years 2 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
151
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...