Sciweavers

352 search results - page 50 / 71
» User interface description languages for next generation use...
Sort
View
JOT
2008
100views more  JOT 2008»
14 years 9 months ago
Panda: a Pattern-based Programming System for Automatic Code Generation
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...
Daniele Mazzeranghi
AIHC
2007
Springer
15 years 3 months ago
SmartWeb Handheld - Multimodal Interaction with Ontological Knowledge Bases and Semantic Web Services
SMARTWEB aims to provide intuitive multimodal access to a rich selection of Web-based information services. We report on the current prototype with a smartphone client interface t...
Daniel Sonntag, Ralf Engel, Gerd Herzog, Alexander...
ACSAC
1999
IEEE
15 years 1 months ago
Using Checkable Types in Automatic Protocol Analysis
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
Stephen H. Brackin
ERCIMDL
2000
Springer
109views Education» more  ERCIMDL 2000»
15 years 1 months ago
CAP7: Searching and Browsing in Distributed Document Collections
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
Norbert Fuhr, Kai Großjohann, Stefan Kokkeli...
COMMA
2006
14 years 11 months ago
Towards Representing and Querying Arguments on the Semantic Web
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...
Iyad Rahwan, P. V. Sakeer