1492 search results - page 298 / 299 » Automatic Software Model Checking Using CLP |
LSGRID
2004
Springer
13 years 10 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...
CADE
2004
Springer
14 years 5 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
ACSAC
2010
IEEE
13 years 3 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...
SOUPS
2005
ACM
13 years 10 months ago
2005
ACM
Secure email has struggled with signifcant obstacles to adoption, among them the low usability of encryption software and the cost and overhead of obtaining public key certificat...
OTM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...