4469 search results - page 618 / 894 » A Language for Role Specifications |
166
click to vote
AIPS
2007
15 years 9 months ago
2007
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
176
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the theory of cryptography. However, lack of efficienc...
205
click to vote
ICPW
2007
15 years 8 months ago
2007
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
155
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The current practice of designing the auditory mode in the user interface is poorly understood. In this survey, we aim at revealing the common understanding of the role of audio i...
160
click to vote
COMAD
2008
15 years 8 months ago
2008
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints....