4469 search results - page 135 / 894 » A Language for Role Specifications |
131
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
135
click to vote
WOODPECKER
2001
15 years 6 months ago
2001
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
139
Voted
FAC
2008
15 years 4 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
162
click to vote
CI
2005
15 years 4 months ago
2005
TRACT SPECIFICATIONS FEI XIA AND MARTHA PALMER Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 K. VIJAY-SHANKER Department of Com...
120
click to vote
ACE
2003
15 years 6 months ago
2003
The paper has two purposes: rst, we argue that natural language processing, and particularly those aspects of that eld often referred to as language technology, should play an imp...