1798 search results - page 33 / 360 » Generating presentation constraints from rhetorical structur... |
ICST
2009
IEEE
13 years 6 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
EPK
2004
13 years 10 months ago
2004
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
JBI
2006
13 years 9 months ago
2006
This paper presents some research undertaken as part of the EU-funded HOMEY project, into the application of intelligent dialogue systems to healthcare systems. The work presented...
CICLING
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. One question that arises if we want to evolve generation techniques to accommodate Web ontologies is how to capture and expose the relevant ontology content to the user. ...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...