3011 search results - page 472 / 603 » Generating XML Based Specifications of Information Systems |
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
VRST
2004
ACM
15 years 3 months ago
2004
ACM
The support of surgical interventions has long been in the focus of application-oriented augmented reality research. Modern methods of surgery, like minimally-invasive procedures,...
CIKM
2009
Springer
15 years 1 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
AAAI
1996
14 years 11 months ago
1996
As more information becomes available electronically, tools for finding information of interest to users becomes increasingly important. The goal of the research described here is...
AICCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...