395 search results - page 63 / 79 » Transforming a Discourse Model to an Abstract User Interface... |
JOT
2008
13 years 8 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
FAC
2007
13 years 8 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
SIGMOD
2007
ACM
14 years 8 months ago
2007
ACM
XML is the data interoperability standard in many application domains. Therefore, an increasing number of researchers and professionals, who are not computer scientists (although ...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
ICRA
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— In robot-assisted interventions, providing a surgeon with haptic information regarding contacts made between surgical instruments and tissue can improve task performanc...