4469 search results - page 213 / 894 » A Language for Role Specifications |
167
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Non-interactive zero-knowledge proofs play an essential role in many cryptographic protocols. We suggest several NIZK proof systems based on prime order groups with a bilinear map...
177
click to vote
IWIC
2007
Springer
16 years 22 days ago
2007
Springer
Our proposed “Language Grid” infrastructure supports multilingual communication by combining in new way language resources, such as machine translators, morphological analyzers...
158
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
162
click to vote
LREC
2008
15 years 8 months ago
2008
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...
188
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity an...