4609 search results - page 81 / 922 » Automatic Generation of Sigma-Protocols |
128
click to vote
SNPD
2003
15 years 6 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
200
click to vote
ICCS
2010
Springer
15 years 6 months ago
2010
Springer
We present a method for automatically creating large-scale semantic networks from natural language text, based on deep semantic analysis. We provide a robust and scalable implement...
192
Voted
COOPIS
1997
IEEE
15 years 9 months ago
1997
IEEE
To simplify the task of obtaining information from the vast number of information sources that are available on the World Wide Web (WWW), we are building tools to build informatio...
154
Voted
HF
2007
2007
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
15 years 5 months ago
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
153
click to vote
ECOWS
2008
Springer
15 years 6 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...