6757 search results - page 778 / 1352 » Knowledge Analysis on Process Models |
181
click to vote
JDCTA
2010
15 years 1 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
170
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
186
click to vote
IJCAI
1989
15 years 7 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
174
click to vote
NLDB
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
187
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
As part of a large effort to acquire large repositories of facts from unstructured text on the Web, a seed-based framework for textual information extraction allows for weakly sup...