2041 search results - page 304 / 409 » Modelling Generic Judgements |
117
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...
133
Voted
EUROCRYPT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
140
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
A generic architecture for autonomous agents is presented. In commonwith other current proposals the agent is capable of reacting to and reasoning about events which occur in its ...
158
click to vote
RULES
1993
Springer
15 years 7 months ago
1993
Springer
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
147
Voted
SIGGRAPH
1989
ACM
15 years 7 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...